rejuvyesh / papers
git-annex repo of papers
☆12Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for papers
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 4 years ago
- Official collection of YASnippet Haskell snippets for Emacs.☆12Updated 3 years ago
- OpenSSL binding for Haskell☆20Updated 4 years ago
- My xmonad configuration.☆33Updated 9 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 4 years ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆38Updated 6 years ago
- Parser and type analysis for the Go programming language☆12Updated last year
- Examples of the nice parts of Racket☆22Updated 7 years ago
- A reimplementation of gitit in Yesod☆95Updated 6 years ago
- A self-hosting subset of git functionality in 500 lines☆13Updated 6 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- An exploration and implementation of the lambda calculus.☆12Updated 8 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- A small Haskell server for generating visual stories based on some ascertainable data about the requester.☆57Updated 12 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- A cross-platform file activity monitor☆72Updated 8 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- Rope data structure used by Yi☆19Updated 6 years ago
- Tagged Haskell learning resources index☆22Updated 8 years ago
- files to build chicken for android☆18Updated 10 years ago
- ☆23Updated 13 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆24Updated 4 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 5 years ago
- A practical application launcher for impractical people☆12Updated 11 months ago