ericgj / adt.py

Related projects ⓘ

Alternatives and complementary repositories for adt.py

• bvssvni / rust-idris-fs
  An attempt at writing C libraries in Rust that can be called from Idris
  ☆22Updated 8 years ago
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆14Updated 4 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 12 years ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated 3 months ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆8Updated 4 years ago
• markshannon / python_formal_semantics
  ☆17Updated 3 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• amosr / limp
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Updated 5 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated 4 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 4 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆16Updated 4 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆15Updated last year
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆51Updated last year
• mgree / trampoline
  Safely running potentially non-terminating functions in Elm.
  ☆10Updated 3 years ago
• llllllllll / adt
  Algebraic data types for python
  ☆22Updated 7 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated last year
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated 3 months ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• tek / amino
  functional data structures and utilities for python
  ☆35Updated 5 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆19Updated 2 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago