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☆100Updated 10 months ago
- A modern tool for literate programming☆277Updated 8 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆49Updated 5 years ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆39Updated 7 years ago
- A rewrite of Ledger's core mathematical concepts in Haskell☆44Updated 8 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 5 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- ☆21Updated 10 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- nixpkgs package status, freshness and security status monitor☆39Updated 8 years ago
- Slides for my talks at various meetups.☆23Updated 3 weeks ago
- Scripting with Least Privilege☆110Updated 8 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Shell Integration Library [Haskell]☆54Updated 6 months ago
- OCaml back end for Idris☆22Updated 7 years ago
- A reimplementation of gitit in Yesod☆95Updated 7 years ago
- organizes tags☆23Updated 7 years ago
- ATS programing on Arduino☆57Updated 9 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- My xmonad configuration.☆33Updated 10 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 9 years ago
- An IRC analysis server.☆81Updated 7 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- MessagePack for R6RS Scheme / msgpack.org[Scheme]☆12Updated 11 years ago