vbeffara / SimulationsLinks
Various simulations of random processes
☆14Updated last month
Alternatives and similar repositories for Simulations
Users that are interested in Simulations are comparing it to the libraries listed below
Sorting:
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Visualising straight lines (geodesics) on the pseudosphere and related geometries.☆14Updated 2 years ago
- a fully-differentiable graphical raytracer☆15Updated 9 years ago
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆11Updated last year
- DeepAlgebra☆25Updated 7 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Visualize subsets of PSL(2,R) in exterior solid torus model☆12Updated 4 years ago
- List of links of techniques to help enhance mathematical notation☆186Updated 8 months ago
- Code dump, for now☆24Updated 2 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- A DSL for the internal language of a topos☆64Updated last week
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆62Updated last year
- Turning Javascript into a probabilistic programming language☆58Updated 8 years ago
- Visualize curve shortening flow in your browser.☆23Updated 2 years ago
- CHomP -- Computation Homology Project software☆47Updated last year
- Metamath verifier in Python☆39Updated 2 weeks ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 2 months ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- WebGL library for mathematical physics using Geometric Algebra☆23Updated 8 months ago
- A low-level probabilistic programming framework embedded in Terra.☆29Updated 8 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- Notes from presentations I've given.☆14Updated 7 years ago