Lysxia / advent-of-coq-2018

Related projects ⓘ

Alternatives and complementary repositories for advent-of-coq-2018

• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆75Updated 4 months ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆121Updated 4 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆93Updated 2 weeks ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆110Updated 5 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• mirage / ocaml-git
  Pure OCaml Git format and protocol
  ☆362Updated 2 months ago
• serras / hinc
  Haskell In New Clothes
  ☆111Updated 4 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆158Updated 5 years ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆208Updated 5 years ago
• litxio / ptghci
  High-powered REPL for Haskell, inspired by IPython
  ☆337Updated last year
• bmsherman / blog
  ☆41Updated 10 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆145Updated last year
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆366Updated 5 months ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆95Updated 3 years ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆185Updated 2 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆188Updated last year
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• jtolio / sheepda
  A lambda calculus interpreter. GET IT?
  ☆81Updated 3 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆212Updated 2 months ago
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆179Updated 6 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆213Updated 5 years ago
• jozefg / pcf
  A small compiler for PCF
  ☆124Updated 4 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆129Updated 6 years ago
• Gabriella439 / slides
  Slides from talks that I give
  ☆294Updated last year