grwlf / htvm
Haskell experiments involving TVM AI framework
☆21Updated 5 years ago
Related projects: ⓘ
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- Type inference for 'type level computation one step at a time'☆12Updated 6 years ago
- A naive θ..θ programming language☆27Updated 5 years ago
- The MLPolyR programming language, revived☆24Updated 3 years ago
- Ask for solutions.☆19Updated 5 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- type-system, revised unification algorithm and runtime time representations☆12Updated 4 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆79Updated 3 years ago
- VSCode extension for the Arend language☆11Updated last year
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆19Updated last year
- Public course materials for CSE 230 (Winter 2019)☆27Updated 2 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- mirror of A simple type-theoretic language: Mini-TT☆38Updated 7 years ago
- MLpolyR☆7Updated 8 years ago
- Lean4 backend using `libgccjit`!☆11Updated 10 months ago
- ☆14Updated this week
- ☆11Updated this week
- Formalizations of Gradually Typed Languages in Agda☆54Updated 2 weeks ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Updated 5 years ago
- Implementations of various toy programming languages☆12Updated 6 years ago
- ☆33Updated this week
- a Haskell implementation of Deep Learning frameworks.☆12Updated 8 years ago
- SML The Living Language☆11Updated 10 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆16Updated 6 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Updated 5 months ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆41Updated last year
- Efficient effect handlers based on Evidence Passing Semantics.☆27Updated 3 years ago
- Graded Dependent Type systems☆23Updated last year
- Idris, but it's C☆24Updated 6 years ago
- Two-Level Type Theory☆27Updated 4 years ago