Z-Shang / fpy
Python module for composing computations
☆26Updated last year
Related projects: ⓘ
- ☆25Updated 7 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- ☆17Updated this week
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- A collection of PLT researching☆28Updated last year
- ☆14Updated this week
- The MLPolyR programming language, revived☆24Updated 3 years ago
- ☆33Updated this week
- Bytecode compiler of a variant of Caml☆31Updated 9 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated 9 months ago
- A toy IO library for Arend☆18Updated 3 years ago
- a Haskell implementation of Deep Learning frameworks.☆12Updated 8 years ago
- Functional Reactive Animation Drawing Environment☆9Updated 7 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆79Updated 3 years ago
- ☆11Updated this week
- A naive θ..θ programming language☆27Updated 5 years ago
- Code for my blog☆12Updated 7 years ago
- ☆19Updated 8 years ago
- an implementation of Observational Type Theory (OTT) and more☆25Updated last year
- A simple Depdently-Typed Language for Research and Learning☆58Updated 8 years ago
- Haskell on-disk B* tree implementation☆116Updated 2 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆41Updated last year
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 3 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- Type inference for 'type level computation one step at a time'☆12Updated 6 years ago
- ☆26Updated this week
- Some online judge solutions in Haskell☆18Updated 8 years ago
- ~ Fragile apparatus of naive wonderland.☆10Updated 3 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆20Updated 2 years ago