RyanBrewer317 / cricket_rsView external linksLinks
A tiny lazy objective functional language
☆19Sep 12, 2024Updated last year
Alternatives and similar repositories for cricket_rs
Users that are interested in cricket_rs are comparing it to the libraries listed below
Sorting:
- experimental minimalistic symbolic term rewriting framework☆18Aug 17, 2025Updated 5 months ago
- Simple autograder for Haskell programming assignments☆18Feb 18, 2025Updated 11 months ago
- Lenient parsing functions for Gleam, modeled after Python's `int()` and `float()` built-ins.☆20Sep 13, 2025Updated 5 months ago
- siko☆14Jan 6, 2024Updated 2 years ago
- loxomotive - A Lox Interpreter implemented in Haskell☆17Jan 8, 2022Updated 4 years ago
- A friendly web framework oriented towards fast response times and a lightweight or serverless backend, written in Gleam!☆26Jul 16, 2025Updated 7 months ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Aug 9, 2025Updated 6 months ago
- Magnolisp, a toy programming language☆19Dec 9, 2023Updated 2 years ago
- 🚧 A work-in-progress GLSL compiler targeting SPIR-V mlir 🚧☆22Oct 18, 2024Updated last year
- ☆218Jun 29, 2024Updated last year
- Framework for making WASM-4 games with Go (and TinyGo).☆28Mar 29, 2024Updated last year
- 🐶 Bella ⌁ A simple functional programming language ⌁ Written in Gleam!☆25Mar 9, 2024Updated last year
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆35Dec 8, 2024Updated last year
- A type-safe C successor that compiles directly to various platforms.☆139May 2, 2025Updated 9 months ago
- The Gren Programming Language Book☆32Sep 30, 2025Updated 4 months ago
- jtcpp was an experimental JVM bytecode to C++ transpiler(abandoned).☆33Jul 20, 2023Updated 2 years ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆49Feb 4, 2026Updated last week
- TUI text editor with a window manager☆35Feb 13, 2024Updated 2 years ago
- langserver client for acme in rust☆37Oct 15, 2022Updated 3 years ago
- An experimental programming language that's made to be powerful, productive, and predictable☆148Mar 25, 2025Updated 10 months ago
- The version of Pharo by Example for Pharo 90☆34Aug 23, 2024Updated last year
- A curated list of awesome JavaFX libraries, books, frameworks, etc...☆10Apr 25, 2020Updated 5 years ago
- ☆14Feb 12, 2025Updated last year
- A parser for Djot, a markdown-like language.☆57Feb 1, 2026Updated 2 weeks ago
- A term rewriting system for experimental programming language development.☆48Updated this week
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- Cross compilation libraries for OCaml on ESP32 development☆11Mar 19, 2020Updated 5 years ago
- An demonic library to write PE binaries☆11Feb 12, 2024Updated 2 years ago
- Scripts for playing guitar in Rust game☆13Apr 11, 2018Updated 7 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 2 months ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 7 months ago
- Mojolicious::HTMX - </> htmx plugin for Mojolicious☆10Aug 26, 2024Updated last year
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆10Jul 13, 2025Updated 7 months ago
- Hey! An Interruption and Time Tracking Command line app.☆12Nov 19, 2024Updated last year
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 9 years ago
- Web site for cs5010 Fall 2016☆11Dec 7, 2016Updated 9 years ago
- Wrappers to tmux commands, usefull for tmux based automation☆13Mar 11, 2022Updated 3 years ago
- Simple Python module to call termux-api by subprocess.☆11May 13, 2025Updated 9 months ago
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆11Jul 9, 2025Updated 7 months ago