rejuvyesh / papersLinks
git-annex repo of papers
☆14Updated 9 years ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below
Sorting:
- Convert/mirror darcs repos into git repos☆102Updated last year
- A rewrite of Ledger's core mathematical concepts in Haskell☆44Updated 8 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- An IRC analysis server.☆81Updated 7 years ago
- A reimplementation of gitit in Yesod☆96Updated 7 years ago
- My xmonad configuration.☆33Updated 10 years ago
- Shell Integration Library [Haskell]☆54Updated 9 months ago
- Plush - the comfy shell☆67Updated 11 years ago
- A pager for grep☆106Updated 4 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆50Updated 5 years ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆39Updated 7 years ago
- ☆21Updated 10 years ago
- Algebraic Data Types for perl6, inspired by Haskell☆12Updated 5 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- ncurses binding for Haskell☆62Updated 4 months ago
- OCaml back end for Idris☆22Updated 7 years ago
- Scripting with Least Privilege☆110Updated 8 years ago
- Haskell binding for PADS☆20Updated 6 years ago
- nixpkgs package status, freshness and security status monitor☆39Updated 9 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated 4 months ago
- A cross-platform file activity monitor☆71Updated 9 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 10 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Abandonware☆89Updated 9 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 5 years ago