HnimNart / deeplearningLinks
☆53Updated 2 months 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 6 months ago
- Reference counting with linear types☆31Updated last month
- a categorical deep learning compiler☆204Updated 3 weeks ago
- Various Futhark benchmark programs☆42Updated 2 months ago
- Finite state machines as graphs☆60Updated 5 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆114Updated this week
- ☆83Updated last year
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 2 months ago
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- A minimal proof checker.☆76Updated last year
- ☆14Updated last year
- A functional fluent API generator☆34Updated 2 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆60Updated 5 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆118Updated last week
- A typed, polyglot, functional language☆204Updated last week
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆82Updated this week
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Programming language for ternary computing☆31Updated 4 years ago
- functional neural networks in ocaml☆89Updated 5 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated 3 weeks ago
- Domain Specific Languages for Computational Law☆77Updated 3 months ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- Haskell In New Clothes☆110Updated 5 years ago
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Parallel Programming in Futhark☆49Updated this week