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:
- A rewrite of Ledger's core mathematical concepts in Haskell☆44Updated 8 years ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- Convert/mirror darcs repos into git repos☆100Updated 11 months ago
- ☆21Updated 10 years ago
- A reimplementation of gitit in Yesod☆95Updated 7 years ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆39Updated 7 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- An IRC analysis server.☆81Updated 7 years ago
- A pager for grep☆106Updated 3 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 5 years ago
- An HTTP Client in Haskell Based on Free Monads☆10Updated 9 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆49Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- A versioning file store backed by git, darcs, or mercurial☆36Updated 2 months ago
- A cross-platform file activity monitor☆72Updated 9 years ago
- Web-based reference manager, written in Haskell.☆30Updated 9 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Algebraic Data Types for perl6, inspired by Haskell☆12Updated 5 years ago
- Shell Integration Library [Haskell]☆54Updated 7 months ago
- TripleSec is a simple, triple-paranoid, symmetric encryption library☆12Updated last year
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆17Updated 6 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Updated last month