sergei-mironov / htvmLinks
Haskell experiments involving TVM AI framework
☆20Updated 6 years ago
Alternatives and similar repositories for htvm
Users that are interested in htvm are comparing it to the libraries listed below
Sorting:
- A naive θ..θ programming language☆27Updated 6 years ago
- a playground for working with fully static tensors and automatic differentiation☆17Updated 4 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- Racket Equivalence Graph Library☆19Updated 3 years ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Encoding of GHC Core inside MLIR☆18Updated 4 years ago
- Type inference for 'type level computation one step at a time'☆12Updated 7 years ago
- Graded Dependent Type systems☆24Updated last year
- VSCode extension for the Arend language☆11Updated 2 years ago
- Higher-order optimization library☆74Updated last year
- Ask for solutions.☆19Updated 5 years ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Updated 6 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 3 months ago
- Lean4 backend using `libgccjit`!☆11Updated last year
- Efficient effect handlers based on Evidence Passing Semantics.☆30Updated 4 years ago
- Tensors in Haskell☆40Updated 5 months ago
- Benchmarking algebraic effect handler implementations☆26Updated 4 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- Implementation of Nuprl's type theory in Coq☆45Updated 6 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated 4 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- A base library for Agda for regular programming☆10Updated last week
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- The Alms Programming Language☆44Updated 6 years ago