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:
- Reference counting with linear types☆31Updated 10 months ago
- Brzozowski derivative python sketch☆85Updated last month
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆105Updated last week
- Copies of prolog solvers for use from python☆17Updated 10 months ago
- A minimal proof checker.☆74Updated 8 months ago
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- a general blog about my projects, or anything☆18Updated 2 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Finite state machines as graphs☆59Updated 4 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 11 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 3 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- My personal standard for how to set up a Javascript workspace☆14Updated last year
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 7 months ago
- Various Futhark benchmark programs☆42Updated last week
- A formal consistency proof of Quine's set theory New Foundations☆70Updated this week
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- ☆81Updated 7 months ago
- Get a Brain☆24Updated 5 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 2 years ago
- Hash-based Diffing for AST's☆76Updated 5 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 5 years ago
- Apple array system☆66Updated 2 weeks ago
- Rewriting Principia Mathematica in Lean☆128Updated 6 months ago