blynn / morans
Get a Brain
☆24Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for morans
- A hip inductive theorem prover!☆88Updated 3 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆21Updated 6 years ago
- Formalization of category theory in Agda☆14Updated last year
- An efficient graph library for Haskell☆39Updated 3 months ago
- Thesis☆37Updated 6 years ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 5 years ago
- Vector & affine spaces, linear maps, and derivatives☆46Updated 3 months ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Funn: Functional Neural Networks in Haskell☆24Updated 5 years ago
- topos programming☆31Updated 6 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- Named parameters (keyword arguments) for Haskell☆90Updated 3 weeks ago
- Synthetic Differential Geometry in Agda☆12Updated 9 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- Matrix operations in 100% pure Haskell☆33Updated 11 months ago
- Source for personal blog.☆76Updated last week
- Various interesting topics I'm looking at☆13Updated 15 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆26Updated 5 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- ☆44Updated last year