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:
- Your happy place for learning APL☆16Updated 2 years ago
- Shell.☆14Updated 8 years ago
- ☆20Updated 6 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- An epoll-based HTTP library for ATS2☆14Updated 2 years ago
- Formatter for Protocol Buffer files☆28Updated 2 years ago
- interpreter devkit☆25Updated 5 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Haskell binding for PADS☆19Updated 5 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Demystifying the magic of supertactics☆13Updated 3 years ago
- Modeling DNS with Alloy☆37Updated 3 years ago
- Distributable shell scripts with dependencies☆11Updated 8 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Updated 5 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Templating engine based on shell interpolation☆31Updated 8 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- Vector builder☆16Updated 4 months ago
- RaptorJIT: a dynamic system programming language (manuscript)☆15Updated 6 years ago
- Dependent hash maps☆14Updated 2 months ago
- generalize counter-examples of property-based testing☆13Updated 4 months ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- A toy JS to ARM assembly compiler, in Haskell☆16Updated 3 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- A decentralized linux distribution.☆12Updated 3 years ago