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:
- Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!☆40Updated 5 months ago
- This repository is actualiced☆13Updated 4 years ago
- Learn to code with Wipple.☆38Updated 3 weeks ago
- Large Scale Type Systems: ML/C Hybrid Programming Language☆123Updated 3 months ago
- This is the project 0x00.Shell, basics repository.☆11Updated 4 years ago
- The Som functional programming language☆21Updated 2 years ago
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆18Updated 2 years ago
- Overall, this repository offers a valuable resource for anyone looking to learn or enhance their skills in Python and JavaScript programm…☆21Updated 2 years ago
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆27Updated last month
- An SMT solver frontend for OCaml☆54Updated this week
- A simple little programming language that could one day compile to JavaScript☆22Updated 10 months ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆30Updated 6 years ago
- WIP stack language that uses regex for control flow☆42Updated 2 years ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Updated 5 months ago
- Inpla: Interaction nets as a programming language (the current version)☆314Updated last year
- A zero-knowledge Lean4 compiler and kernel☆139Updated last year
- SML reference interpreter☆119Updated last month
- ☆15Updated 8 years ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆35Updated 3 months ago
- ☆10Updated 2 years ago
- alx-higher_level_programming python projects☆10Updated 3 years ago
- Holberton curriculum projects dealing mostly with C. Some assembly/others.☆12Updated 2 years ago
- ☆12Updated last year
- siko☆14Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated 10 months ago
- A general purpose statically-typed concatenative programming language.☆55Updated 2 years ago
- Compiler and tooling for the Myte programming language.☆24Updated 2 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆75Updated 3 years ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- Standard ML Parser Combinator Library☆16Updated last year