ndmitchell / build-shootout

Related projects ⓘ

Alternatives and complementary repositories for build-shootout

• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆87Updated this week
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆58Updated 8 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated last year
• iu-parfunc / lvars
  The LVish Haskell library
  ☆81Updated 2 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆110Updated 11 months ago
• bscarlet / llvm-general
  Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
  ☆132Updated 7 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• robbertkrebbers / ch2o
  ☆87Updated 2 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆94Updated 9 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆158Updated 9 years ago
• diku-kmc / kleenexlang
  The Kleenex programming language
  ☆55Updated 3 weeks ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆95Updated 7 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆67Updated 8 years ago
• strake / frown
  LALR(k) Parser Generator for Haskell, by Ralf Hinze
  ☆9Updated 4 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 11 years ago
• chetant / LibClang
  Haskell FFI to libclang
  ☆58Updated 7 years ago
• tweag / ghc
  Fork of official GHC repository.
  ☆44Updated 9 months ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 5 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 9 years ago
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆187Updated 4 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 11 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆47Updated 4 years ago
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated last year
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆35Updated 9 years ago
• fare / moll
  My Own Linear Lisp
  ☆36Updated 6 years ago