-
Radboud University
Stars
- All languages
- APL
- Assembly
- Batchfile
- C
- C++
- CMake
- CSS
- Chapel
- Clojure
- Common Lisp
- Coq
- Cuda
- Cython
- Dockerfile
- Fennel
- Fortran
- GAP
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Lua
- MATLAB
- MLIR
- Makefile
- Mathematica
- Nix
- OCaml
- OpenQASM
- Perl
- Python
- Rust
- Scala
- Scheme
- Shell
- Shen
- Singularity
- Standard ML
- Svelte
- TeX
- TypeScript
- Typst
- V
- Vim Script
- Zig
Manipulate JSON-like data with NumPy-like idioms.
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
A functional, content-addressable programming language.
A set of utilities for K (ngn/k) to enhance its practical usability
Proofs in Coq for the book Reflective Programs in Tree Calculus
Try It Online clone: online sandbox environment for testing code in a variety of languages
List of ngrok/Cloudflare Tunnel alternatives and other tunneling software and services. Focus on self-hosting.
Sparse matrix tools extending scipy.sparse, but with incompatible licenses
The umfpack scikit provides wrapper of UMFPACK sparse direct solver to SciPy.
Compile a subset of the Python AST to x64-64 assembler
An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator t…
TinyAPL, a tiny APL dialect and interpreter in Haskell
Repository for the EinsteinPy core package 🚀
A Mathematica package for solving PDEs by the pseudospectral method
A collection of spectral collocation differentiation matrices
A nix flake to generate NixOS images for running in crostini on chromeOS
A python package for general relativity and tensor calculus
A basic x86-64 JIT compiler written from scratch in stock Python
Tensor Calculus Package for General Relativity
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.