A Haskell library for building incremental static site generators
☆14Nov 30, 2023Updated 2 years ago
Alternatives and similar repositories for achille
Users that are interested in achille are comparing it to the libraries listed below
Sorting:
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- ☆13May 2, 2023Updated 2 years ago
- ☆12Jun 13, 2017Updated 8 years ago
- Haskell bindings to the Eigen C++ library☆16May 23, 2024Updated last year
- An embedded probabilistic programming language.☆34Mar 6, 2017Updated 9 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Dec 13, 2017Updated 8 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22May 6, 2024Updated last year
- ☆20Feb 5, 2022Updated 4 years ago
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 8 years ago
- DIY Markov Chains.☆25Nov 9, 2024Updated last year
- Real World Reflex Presentation☆25Dec 16, 2017Updated 8 years ago
- An applicative monad that batches commands for later more efficient execution☆28Jan 21, 2018Updated 8 years ago
- FRP library☆63Mar 25, 2018Updated 7 years ago
- Operational monad library☆30Nov 30, 2021Updated 4 years ago
- Efficient, polymorphic Map Algebra in Haskell.☆38Feb 17, 2020Updated 6 years ago
- An implementation of Flatris using Haskell and Miso☆32Nov 14, 2019Updated 6 years ago
- An embedded DSL for creating, composing, and using probability measures.☆42Sep 10, 2019Updated 6 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Jun 6, 2025Updated 9 months ago
- A high-performance, reasonably robust HTML5 tokenizer☆31Apr 18, 2025Updated 10 months ago
- Mastodon server running for the Doubanius Tertius project☆10Apr 4, 2022Updated 3 years ago
- Quake 3 map viewer written in Haskell☆35Apr 18, 2017Updated 8 years ago
- Tomography visualizer for EE103☆10Sep 8, 2015Updated 10 years ago
- Nehe Tutorials in Clojure using Penumbra☆29Sep 21, 2010Updated 15 years ago
- Navier-Stokes implementation for Processing based on Jos Stam work☆13Feb 1, 2019Updated 7 years ago
- A tiny event emitter in C☆18Nov 21, 2014Updated 11 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- ☆27Feb 4, 2026Updated last month
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- Ghosts of Departed Proofs☆43Aug 13, 2018Updated 7 years ago
- FRP library☆40Apr 15, 2018Updated 7 years ago
- A simple interface for generating persistent data and linking its dependencies☆48Dec 15, 2025Updated 2 months ago
- The Russolo typeface☆10Jan 4, 2026Updated 2 months ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- A Lua to Wren compiler in Wren.☆15Feb 5, 2020Updated 6 years ago
- Nested Dichotomy Logistic Regression Models☆10Updated this week
- Autonomous pursuit-evasion for swarms of ground robots. Built on ROS.☆11Dec 5, 2018Updated 7 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago