HnimNart / deeplearningLinks
☆53Updated 4 years ago
Alternatives and similar repositories for deeplearning
Users that are interested in deeplearning are comparing it to the libraries listed below
Sorting:
- Brzozowski derivative python sketch☆85Updated 3 months ago
- Reference counting with linear types☆31Updated last year
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- ☆82Updated 9 months ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- Finite state machines as graphs☆60Updated 5 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last month
- A minimal proof checker.☆75Updated 10 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆64Updated last week
- a categorical deep learning compiler☆203Updated 5 months ago
- Falling sand game in cellular automata style.☆69Updated 12 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆178Updated 4 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 6 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆110Updated 2 weeks ago
- a 64-bit histogram / quantile sketch☆59Updated 6 months ago
- CHR2 to SQL conversion☆14Updated 9 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Autoregressive transformers in APL☆102Updated 2 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 months ago
- Various Futhark benchmark programs☆42Updated 2 months ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 5 years ago
- A graphical interactive proof assistant designed for education☆167Updated 8 months ago
- Conjure: The Automated Constraint Modelling Tool☆105Updated this week
- ☆88Updated 9 months ago