vbeffara / Simulations
Various simulations of random processes
☆11Updated 9 months ago
Related projects: ⓘ
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 6 years ago
- GLUT Kleinian group visualizer☆26Updated 10 years ago
- a fully-differentiable graphical raytracer☆15Updated 9 years ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆61Updated 8 months ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- Running the code you want to write as fast as the code you have to write☆139Updated 7 years ago
- DeepAlgebra☆25Updated 6 years ago
- GluCat: Clifford algebra templates☆19Updated last month
- Metamath verifier in Python☆35Updated 5 months ago
- An Experiment in Haskell Symbolic Algebra☆71Updated 12 years ago
- CHomP -- Computation Homology Project software☆45Updated 6 months ago
- Build-to-Order BLAS☆11Updated 5 years ago
- 👨🏻🎓 Playground for learning programming languages☆24Updated this week
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆83Updated 3 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 6 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Haskell bindings for PicoSAT solver☆16Updated 4 years ago
- A low-level probabilistic programming framework embedded in Terra.☆28Updated 8 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆10Updated 9 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- Turning Javascript into a probabilistic programming language☆58Updated 7 years ago
- Python code for the post "Computing Homology"☆29Updated last year
- Haskell bindings to SymEngine☆25Updated last year
- Visualize subsets of PSL(2,R) in exterior solid torus model☆11Updated 4 years ago
- Code dump, for now☆24Updated last year
- A DSL for the internal language of a topos☆61Updated 5 months ago
- A system for computational category theory and applications☆35Updated 8 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- WebGL library for mathematical physics using Geometric Algebra☆22Updated 3 months ago