neutronest / vortex
a Haskell implementation of Deep Learning frameworks.
☆12Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for vortex
- ☆19Updated 9 years ago
- Just a prototype, but will be improved soon.☆22Updated 9 years ago
- Differentiation in logical form by Stone duality.☆8Updated 7 years ago
- Functional Reactive Animation Drawing Environment☆9Updated 7 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- Python module for composing computations☆26Updated last year
- ☆49Updated 11 years ago
- Haskell experiments involving TVM AI framework☆21Updated 5 years ago
- Type inference for 'type level computation one step at a time'☆12Updated 6 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- old cicada attempt in rs☆3Updated 11 months ago
- Coq code accompanying several articles on semantics of functional programming languages☆10Updated 6 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- Alef Lazily Evaluates Functions☆31Updated 11 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- ☆25Updated 7 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- Ask for solutions.☆19Updated 5 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- xmonad in Coq☆43Updated 12 years ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 4 years ago
- Idris, but it's C☆24Updated 6 years ago