tommasocerruti / rowlang
RowLang is a minimalistic esoteric programming language written as an analogy to rowing.
☆16Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for rowlang
- A frontend for multiple SMT solvers in OCaml☆27Updated this week
- Runtime assertion checking based on Gospel specifications☆38Updated last week
- ☆54Updated 3 weeks ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 4 years ago
- The Steel separation logic library for F*☆31Updated last month
- A Deductive Verification Tool for OCaml Programs☆60Updated 5 months ago
- Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap☆16Updated 10 months ago
- A small library to output memory graph for ocaml values☆35Updated 4 months ago
- The Flambda backend project for OCaml☆113Updated this week
- Learn Ocaml by reading code examples☆70Updated last year
- Monitor Eio programs☆77Updated 8 months ago
- Library for color and formatting in the terminal☆20Updated 2 years ago
- OCaml ctypes bindings to llama.cpp☆14Updated 10 months ago
- Store the ATD/openapi/protobuf/... interfaces between semgrep components☆16Updated this week
- Notes on OCaml debugging and performance☆16Updated 3 months ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆30Updated this week
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…☆39Updated 2 months ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆49Updated 7 months ago
- OCaml plus Jane Street extensions☆73Updated 4 months ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆17Updated this week
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- An OCaml mutation tester☆65Updated last month
- ☆19Updated last month
- Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks☆14Updated this week
- programming language experiment☆23Updated this week
- Ocaml-solidity provides a Solidity parser and typechecker☆30Updated last year
- High level commands to declare a hierarchy based on packed classes☆97Updated this week
- A bibtex file parser☆21Updated 9 months ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API refere…☆26Updated 4 months ago