begriffs / wcLinks
Beating haskell with C
☆11Updated 5 years ago
Alternatives and similar repositories for wc
Users that are interested in wc are comparing it to the libraries listed below
Sorting:
- Modeling DNS with Alloy☆37Updated 3 years ago
- Formatter for Protocol Buffer files☆29Updated 2 years ago
- interpreter devkit☆25Updated 5 years ago
- Integrating the CAP theorem into distributed language design.☆13Updated 6 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- ☆20Updated 6 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- tests☆10Updated 6 years ago
- Infuse nim into xv6 till it replaces all the "C"☆13Updated 9 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- An interpreter for the D3-level syntax of ATS3/Xanadu☆11Updated 4 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- ☆10Updated 3 years ago
- Pijul <-> Git proxy☆21Updated 6 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A functional fluent API generator☆34Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- RaptorJIT: a dynamic system programming language (manuscript)☆15Updated 6 years ago
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Updated 7 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- A general purpose relational language☆19Updated 5 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- A parsing combinator library.☆10Updated 8 years ago
- tiny command-line skeleton/snippet thing☆21Updated 6 years ago
- For hosting ATS3 and developing CodeDepot☆15Updated last week
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated 2 weeks ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 5 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago