jeffreyguenther / shiroView external linksLinks
Shiro - a declarative, dataflow programming language for exploring alternatives
☆16Oct 14, 2016Updated 9 years ago
Alternatives and similar repositories for shiro
Users that are interested in shiro are comparing it to the libraries listed below
Sorting:
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- Data structures for describing changes to other data structures.☆17Jan 19, 2025Updated last year
- ☆11Nov 16, 2021Updated 4 years ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Oct 9, 2025Updated 4 months ago
- GRASP for Android☆16Mar 13, 2023Updated 2 years ago
- A Racket Meta-Program Generator☆17Mar 26, 2020Updated 5 years ago
- An error-tolerant live programming environment (my Master's thesis)☆20Jul 25, 2022Updated 3 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 6 years ago
- Ready-made ScalaFX IDE for custom languages☆13Jul 30, 2016Updated 9 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- Simply typed lambda calculus in cubical agda☆22Feb 22, 2020Updated 5 years ago
- Riffs on spreadsheets for manipulating JSON and building GUIs☆23Feb 25, 2020Updated 5 years ago
- ☆20Sep 28, 2018Updated 7 years ago
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- An experimental reimplementation of rowan, focused on size efficiency☆25Sep 4, 2020Updated 5 years ago
- 😹 convert ANSI Escaped CLI strings to SVGs☆23May 18, 2019Updated 6 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- A new perspective on programming☆22Oct 30, 2016Updated 9 years ago
- Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.☆26Jul 19, 2020Updated 5 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- Visualise recursive functions and tree structures.☆30Jun 6, 2021Updated 4 years ago
- Multipurpose calculator with coalescing written in Rust☆22Dec 29, 2019Updated 6 years ago
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆24Jan 3, 2023Updated 3 years ago
- 🐠Like procedural macro, but generates sources! 🐡☆30Jun 15, 2020Updated 5 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 3 years ago
- ☆30Apr 26, 2024Updated last year
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated last month
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 4 months ago
- Implementation of the Aardappel programming language☆31May 29, 2017Updated 8 years ago
- A Rust hashconsing library.☆38Jul 15, 2024Updated last year
- ☆35Jan 27, 2025Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Mar 28, 2023Updated 2 years ago
- Data Science Ontology☆40Sep 17, 2025Updated 4 months ago
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated last year
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- ☆53Nov 25, 2020Updated 5 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago