tommasocerruti / rowlangLinks
RowLang is a minimalistic esoteric programming language written as an analogy to rowing.
☆20Updated last year
Alternatives and similar repositories for rowlang
Users that are interested in rowlang are comparing it to the libraries listed below
Sorting:
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆18Updated 2 years ago
- An SMT solver frontend for OCaml☆59Updated this week
- Ocaml-solidity provides a Solidity parser and typechecker☆33Updated 2 years ago
- OCaml - Oxidized!☆598Updated this week
- The Som functional programming language☆21Updated 2 years ago
- Formal verification for Solidity smart contracts with the theorem prover Rocq. Ensure no vulnerabilities for your smart contracts.☆46Updated this week
- ☆12Updated last year
- Large Scale Type Systems: ML/C Hybrid Programming Language☆125Updated 5 months ago
- A tool-agnostic formal specification language for OCaml.☆154Updated 3 weeks ago
- A language server for Standard ML in Rust.☆235Updated 3 weeks ago
- A garden of small programming language implementations 🪴☆304Updated this week
- A simple little programming language that could one day compile to JavaScript☆22Updated last year
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆30Updated 6 years ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆255Updated 11 months ago
- Coq plugin for extracting Rust code☆16Updated 3 weeks ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- WIP stack language that uses regex for control flow☆42Updated 2 years ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆48Updated 3 months ago
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 5 months ago
- Compile OCaml to standalone ANSI C file☆45Updated last month
- A fancy diagnostics library that allows your compilers to exit with grace☆87Updated 3 weeks ago
- OCaml hash-consing library☆51Updated last year
- OCaml bytecode library tools☆33Updated 3 years ago
- OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API refere…☆29Updated last week
- The interpreter for Rhovas, a programming language for API design and enforcement.☆36Updated 5 months ago
- A language for intent-centric and declarative decentralised applications☆504Updated 2 months ago
- Design discussions about the OCaml language☆171Updated 3 weeks ago
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆30Updated last week
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- Learn to code with Wipple.☆38Updated last week