superb-owl / grothendieck

Related projects ⓘ

Alternatives and complementary repositories for grothendieck

• kelas / ooj
  the origins of J
  ☆60Updated last year
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆48Updated last month
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆134Updated last week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 7 months ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆212Updated 2 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆112Updated 6 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆102Updated 2 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆93Updated 8 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆130Updated 7 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆75Updated 4 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆102Updated 3 months ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆161Updated this week
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆188Updated last year
• xorvoid / forsp
  Forsp: A Forth+Lisp Hybrid Lambda Calculus Language
  ☆144Updated 4 months ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 3 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆90Updated 2 years ago
• jozefg / pcf
  A small compiler for PCF
  ☆124Updated 4 years ago
• mthom / scryer-shen
  ☆43Updated 2 weeks ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 3 weeks ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 5 years ago
• HnimNart / deeplearning
  ☆53Updated 3 years ago
• caminadab / metamine
  A new declarative programming language
  ☆22Updated 4 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆89Updated last month
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated last year