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☆99Updated 8 months ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 5 years ago
- A reimplementation of gitit in Yesod☆95Updated 7 years ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- A modern tool for literate programming☆275Updated 8 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- A versioning file store backed by git, darcs, or mercurial☆35Updated last month
- A rewrite of Ledger's core mathematical concepts in Haskell☆44Updated 8 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 9 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆39Updated 7 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 5 years ago
- A bare-bones academic wiki with LaTeX and (multi)markdown support☆71Updated 10 years ago
- ☆15Updated 9 years ago
- ☆21Updated 9 years ago
- Plush - the comfy shell☆67Updated 10 years ago
- An IRC analysis server.☆81Updated 7 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- Abandonware☆89Updated 8 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago