Alternatives and similar repositories for papers

Users that are interested in papers are comparing it to the libraries listed below

• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 years ago
• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆39Updated 6 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 9 years ago
• chrisdone-archive / chrisdone-xmonad
  My xmonad configuration.
  ☆33Updated 9 years ago
• ledger / ledger4
  A rewrite of Ledger's core mathematical concepts in Haskell
  ☆44Updated 8 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• fractalide / nixcrates
  DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index
  ☆15Updated 8 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 11 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 5 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated last week
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 8 years ago
• eugeneia / geneva
  Geneva: portable document preparation system
  ☆9Updated 8 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 10 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 7 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• jonsterling / agda-effectful-forcing
  Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…
  ☆12Updated 4 years ago
• haskell / haskell-snippets
  Official collection of YASnippet Haskell snippets for Emacs.
  ☆13Updated 4 years ago
• paf31 / Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell
  Embedding a Full Linear Lambda Calculus in Haskell
  ☆8Updated 9 years ago
• pjotrp / nix-no-root
  Empowered Nix/Guix without root
  ☆36Updated 9 years ago
• bobatkey / foveran
  A Dependently Typed Programming Language
  ☆27Updated 4 years ago
• lexi-lambda / racket-curly-fn
  A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.
  ☆17Updated 8 years ago
• deech / ATSPresentation
  ☆21Updated 9 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆97Updated 6 months ago
• owickstrom / pandoc-emphasize-code
  A Pandoc filter for emphasizing code in fenced blocks
  ☆29Updated last year
• deech / lambdaconf-shen-talk
  ☆15Updated 9 years ago
• wingo / bicho
  Scheme implementation suitable for microcontrollers
  ☆8Updated 9 years ago
• Fuco1 / blablabla
  A follower to litable
  ☆15Updated 8 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago