jgm / HeX
a flexible text macro system
☆17Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for HeX
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- fast utf-8 character sets☆13Updated last week
- Term Rewriting Systems☆17Updated 9 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- Educational implementation of dependent types☆19Updated 6 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- systemd socket activation library for Haskell☆15Updated 4 years ago
- Safe and minimal Haskell Prelude☆10Updated 4 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆28Updated last month
- Robust prettyprinter for output of auto-generated Show instances☆18Updated 4 years ago
- Haskell JSON library☆27Updated this week
- Heyting Algebras in Haskell☆14Updated last year
- Interactive-diagrams☆39Updated 9 years ago
- Vector & affine spaces, linear maps, and derivatives☆45Updated 3 months ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆18Updated 6 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- Parser and type analysis for the Go programming language☆12Updated last year
- Convert/mirror darcs repos into git repos☆96Updated this week
- Write type-safe shell scripts in Haskell☆14Updated 4 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Library for invertible parsing and printing☆31Updated 5 months ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- Idris, but it's C☆24Updated 6 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- tiny hack for colored pretty-printing within ghci☆20Updated 2 years ago
- A cross-platform, cross-console way to handle echoing terminal input☆10Updated 3 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 6 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆12Updated 4 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago