gergoerdi / metafun

Related projects: ⓘ

• toby-allsopp / free-monads-in-cpp
  Functors, Monads and Free Monads in C++
  ☆18Updated last year
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆75Updated 11 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 12 years ago
• grievejia / pcomb
  Simple C++ Parser Combinator Library
  ☆15Updated 8 years ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆88Updated 5 years ago
• arrow-lang / arrow
  Arrow is a fast (as or faster than C) general-purpose programming language. It does not employ a garbage collector and has minimal runtim…
  ☆34Updated 7 years ago
• splinterofchaos / Pure
  An almost-pure C++ library for writing functional code.
  ☆37Updated 9 years ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 13 years ago
• keean / Parser-Combinators
  C++ parser combinator library
  ☆97Updated 9 years ago
• BartoszMilewski / MoreMoney
  Constraing solving using functional methods in C++ and Haskell.
  ☆20Updated 9 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 8 years ago
• jarrett / cpphs
  Tutorial on integrating C++ and Haskell
  ☆89Updated 4 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆81Updated last year
• dkormalev / cefal
  (Concepts-enabled) Functional Abstraction Layer for C++
  ☆53Updated 4 years ago
• twhitehead / c99-meta
  Abusing the C99 preprocessor for meta-programming
  ☆20Updated 6 years ago
• svenssonjoel / Obsidian
  Obsidian Language Repository
  ☆40Updated 6 years ago
• thejohnfreeman / autocheck
  Header-only C++17 library for property-based testing.
  ☆124Updated 3 months ago
• tov / alms
  The Alms Programming Language
  ☆43Updated 6 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 7 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆86Updated 6 months ago
• fare / moll
  My Own Linear Lisp
  ☆36Updated 6 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 5 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆21Updated 6 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 11 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆8Updated 4 years ago
• kirkshoop / transducer
  transducers in C++ 14
  ☆40Updated 9 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 8 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆36Updated 7 years ago
• strake / frown
  LALR(k) Parser Generator for Haskell, by Ralf Hinze
  ☆9Updated 4 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 10 years ago