compcalc / compcalc.github.ioLinks
🧮 Reading group about differential, integral and logical calculi.
☆26Updated last year
Alternatives and similar repositories for compcalc.github.io
Users that are interested in compcalc.github.io are comparing it to the libraries listed below
Sorting:
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆65Updated 6 years ago
- Brzozowski derivative python sketch☆86Updated 10 months ago
- The simple essence of automatic differentiation☆201Updated 5 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 11 months ago
- There are C language computer programs about the simulator, transformation, and test statistic of continuous Bernoulli distribution. More…☆25Updated last year
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- ☆53Updated 5 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 7 years ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- Tool for euclidean geometry aware of logic☆88Updated last year
- Examples of common systems programming optimizations☆53Updated 4 years ago
- functional neural networks in ocaml☆89Updated 5 years ago
- Just a small test to see which language is better for extending python when using lists of lists☆32Updated 2 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- A minimal viable programming language on top of liblgpp☆78Updated 5 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 10 months ago
- probabilistic programming for PL folks☆160Updated 4 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- Yet Another Compiler Visualizer☆164Updated 4 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Conjure: The Automated Constraint Modelling Tool☆110Updated this week
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- Tensorflow implementation of Collaborative Sampling for Image inpainting☆35Updated 5 years ago
- Bachelor thesis Martijn Bakker -- Numerical mathematics on FPGAs using CλaSH☆28Updated 10 years ago
- An implementation of the Nyströmformer, using Nystrom method to approximate standard self attention☆57Updated 3 years ago
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆64Updated 2 years ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆162Updated 6 years ago