chrisdone-archive / flo
Generate flow charts from your code base.
☆15Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for flo
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- Haskell to Javascript compiler (via GHC)☆20Updated 4 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 13 years ago
- Literate-style Documentation Generator☆17Updated 9 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Updated 6 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- What I Wish I Knew While Learning Nix☆35Updated 2 years ago
- ☆25Updated 7 years ago
- Minecraft protocol proxy☆9Updated 13 years ago
- An efficient syntax highlighting library in Haskell, using alex-generated lexers☆26Updated 13 years ago
- A backwards-compatible, modern replacement for the Prelude.☆22Updated 7 years ago
- Simple auto completion web server☆33Updated 9 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- A small Haskell server for generating visual stories based on some ascertainable data about the requester.☆57Updated 12 years ago
- Translate Haskell programs into Clojure☆7Updated 13 years ago
- ☆14Updated 8 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- QuickCheck extras.☆29Updated 5 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆45Updated 6 years ago
- A nullary type class for partial functions☆15Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- an example airship app☆14Updated 8 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- A plugin for GHC to turn Haskell into a strict language☆27Updated 12 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago