scribble / scribble-language-guide

Related projects: ⓘ

• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• deech / ATS-Strange-Loop-Talk
  ☆46Updated 6 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 7 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆29Updated 7 years ago
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆54Updated 9 months ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 7 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆42Updated 8 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated last month
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆26Updated 9 years ago
• dmbarbour / haskell-lmdb
  ☆18Updated this week
• snowleopard / stroll
  Stroll: an experimental build system
  ☆37Updated last year
• tweag / ghc
  Fork of official GHC repository.
  ☆44Updated 7 months ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆66Updated 10 months ago
• xran-deex / ats-http
  An epoll-based HTTP library for ATS2
  ☆14Updated last year
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆22Updated 5 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 6 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 8 years ago
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆36Updated 4 years ago
• edwinb / WS-idr
  Yes, it is what you think it is
  ☆33Updated 8 years ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆53Updated 4 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• deech / ATSPresentation
  ☆20Updated 9 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆43Updated 2 years ago