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:
- The Komodo programming language code repository☆11Updated 3 months ago
- This repository houses five notebooks containing Mathematica Wolfram commands along with their detailed descriptions in Persian. Explore …☆14Updated 2 years ago
- Find the most starred repositories per line of code in the language of your choice☆12Updated last year
- minimalistic s-expression based term rewriting framework☆15Updated last month
- [DEPRECATED — See notice in README.md] Network-level performance testing of post-quantum cryptography using the OQS suite☆11Updated last month
- An anonymous way of express your sensations through a decentralized network, powered by open source code and blockchain technologies.☆8Updated last year
- ☆14Updated last year
- A systems theorem prover☆11Updated last year
- This repository is for the SoilingNet Project. Soiling Net is an AI model to analyze soiling and power loss on photovoltaic panels, with …☆10Updated 10 months ago
- A functional fluent API generator☆34Updated 2 years ago
- Pong is a two-player game where each player controls a paddle to hit a ball back and forth 🚀🕹️☆29Updated 11 months ago
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆17Updated 2 years ago
- VC - Verse Calculus - notes & learnings from: The Verse Calculus: a Core Calculus for Functional Logic Programming (official paper by Epi…☆10Updated 2 years ago
- Is this even possible?☆40Updated last year
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆15Updated last week
- High level model for MongoDB consistency☆13Updated 2 weeks ago
- Store the ATD/openapi/protobuf/... interfaces between semgrep components☆18Updated this week
- Programming Languages Grammar House (BNF like grammars)☆29Updated 2 weeks ago
- VSCode extension for Metamath☆10Updated 2 weeks ago
- Foundations of Computer Science notebooks☆16Updated 9 months ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆18Updated last year
- Markdown to Wolfram Notebook converter☆14Updated 3 years ago
- LLTZ: Compiler from MLIR to Michelson☆14Updated 6 months ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆18Updated 7 months ago
- Formalization of Homotopy Type Theory for use in my Youtube videos☆15Updated last year
- A curated list of software, services, and resources for SQLite☆11Updated last month
- θ A statically typed, functional programming language that compiles to WebAssembly☆39Updated 8 months ago
- Programming language☆37Updated last week
- types for various combinatory systems, especialy tree calculi☆18Updated 5 months ago
- The SMoL (Standard Model of Languages) Family of Languages☆18Updated 6 months ago