Modernized Sisal Interpreter
☆29Nov 9, 2018Updated 7 years ago
Alternatives and similar repositories for sisal-is
Users that are interested in sisal-is are comparing it to the libraries listed below
Sorting:
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- Dust Programming Language☆22Jul 16, 2014Updated 11 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated 11 months ago
- Firefox add-on providing tools to hammer an inaccessible website into shape☆11Jun 29, 2024Updated last year
- source code for the bondi programming language☆45Feb 17, 2019Updated 7 years ago
- Supporting tool for Gradual Typing☆16May 12, 2020Updated 5 years ago
- DeliciousSafari Safari plug-in and iPhone app☆34Aug 1, 2019Updated 6 years ago
- ☆11May 26, 2018Updated 7 years ago
- The Unofficial Incomplete Spidermonkey Bibliography☆18Oct 29, 2024Updated last year
- Control theory in Haskell: Data structures, algorithms and adapters☆79Jan 14, 2019Updated 7 years ago
- μKanren in Elm☆43Mar 6, 2017Updated 9 years ago
- Mozilla Moderator App☆26Oct 22, 2025Updated 4 months ago
- ☆41Jul 2, 2017Updated 8 years ago
- The Om programming language.☆205Oct 16, 2024Updated last year
- ☆59Jan 10, 2017Updated 9 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- xml parser for elm☆11Feb 10, 2022Updated 4 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Aug 6, 2021Updated 4 years ago
- A Compiler for the Popr Language☆257Jan 7, 2021Updated 5 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- ☆12Nov 14, 2024Updated last year
- syn·di·cate: a language for interactive programs☆160Dec 18, 2025Updated 3 months ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 4 years ago
- Charity Programming Language☆41Apr 14, 2015Updated 10 years ago
- A JNI Example with Maven☆10Jan 22, 2018Updated 8 years ago
- Want to propose changes to Eta?☆14Apr 2, 2018Updated 7 years ago
- Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)☆14Oct 17, 2021Updated 4 years ago
- Easily send GitHub webhook notifications to IRC☆14Mar 17, 2019Updated 7 years ago
- OCaml syntax extension for synchronous programming...☆32Aug 17, 2023Updated 2 years ago
- A tool to convert Gherkin into Sphinx documentation☆12Sep 4, 2023Updated 2 years ago
- ☆13Aug 6, 2017Updated 8 years ago
- A package manager for the Mercury logic programming language.☆18Jan 23, 2020Updated 6 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- BitSparrow in Rust☆11Feb 24, 2017Updated 9 years ago
- Funnel ALL your port modules through a single pair of ports☆19Apr 7, 2019Updated 6 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Jan 13, 2018Updated 8 years ago
- DateTime python extensions to help create and consults a liturgical calendar☆13Apr 10, 2017Updated 8 years ago
- ☆23Jul 26, 2022Updated 3 years ago