BartoszMilewski / CodeCoopLinks
Peer-to-peer version control system
☆94Updated last year
Alternatives and similar repositories for CodeCoop
Users that are interested in CodeCoop are comparing it to the libraries listed below
Sorting:
- Compile Haskell-like code into C++ template metaprograms☆59Updated 9 years ago
- Constraing solving using functional methods in C++ and Haskell.☆21Updated 10 years ago
- Functional Lenses in C++☆21Updated 14 years ago
- Implementation of Pratt parser in C++11☆26Updated 10 years ago
- sandbox for my c++ functional programming experiments☆33Updated 12 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆13Updated last week
- Grammar Zoo☆92Updated 6 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- C++ parser combinator library☆97Updated 10 years ago
- Composable Data and Type Generators for C++☆10Updated 6 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- ☆49Updated 5 years ago
- Header-only C++17 library for property-based testing.☆127Updated last year
- Composable monadic STM for C++ on Free monads☆78Updated 5 years ago
- C++ as a Pure Functional Programming Language☆189Updated 6 years ago
- ☆55Updated 6 years ago
- a dlopen-like API for Windows☆109Updated 3 months ago
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- Parser for language from Elements of Programming☆37Updated 11 years ago
- A Brainfuck Interpreter, which is completely implemented from scratch as a C++ Template Meta Program☆24Updated 3 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- A cross-platform implementation of the Immix Garbage Collector☆78Updated 11 years ago
- Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.☆58Updated last year
- A performant, parallel, probabilistic, random acyclic-graph, low-latency, perfect hash generation library.☆83Updated 2 months ago
- A textual language for binary data.☆37Updated 3 years ago
- Single header file C++ library that provides IEEE 754 floating point types.☆23Updated 5 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- Restructor Prototype☆21Updated 8 years ago
- Papers for the C++ Standards Committee, WG21☆57Updated 3 months ago