noocene / welkinView external linksLinks
☆10Aug 17, 2022Updated 3 years ago
Alternatives and similar repositories for welkin
Users that are interested in welkin are comparing it to the libraries listed below
Sorting:
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- MIT CADR Lisp Machine Resurrection Project☆17May 23, 2014Updated 11 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- A storage place for my ternary experiments, including an emulator for a theoretical 27-trit CPU.☆30Nov 20, 2021Updated 4 years ago
- Work-in-progress functional dependently typed programming language☆29Oct 11, 2023Updated 2 years ago
- ☆36Nov 16, 2021Updated 4 years ago
- A noocenotic ecosystem engine☆31Jul 20, 2020Updated 5 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- Light/Dark mode toggle button for Firefox 🦊☆13Nov 19, 2025Updated 2 months ago
- S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)☆14Jan 15, 2024Updated 2 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- A Git remote helper to do basic cloning of repos from a Gemini server.☆11Oct 8, 2023Updated 2 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- hydrus server running on Debian☆11Mar 15, 2021Updated 4 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- Decentralised communication device☆11Mar 17, 2019Updated 6 years ago
- Herramientas de Desarrollo de Videojuegos con ADN Argentino☆12Aug 6, 2024Updated last year
- source code for NAACL2022 main conference "Dynamic Programming in Rank Space: Scaling Structured Inference with Low-Rank HMMs and PCFGs"☆10Sep 26, 2022Updated 3 years ago
- Portfolio, time tracker and exocortex. No-JS by JS from JS.☆14Aug 27, 2024Updated last year
- A SUBLEQ macro assembler☆12Jul 5, 2020Updated 5 years ago
- Admin bot for Matrix.☆12Nov 2, 2020Updated 5 years ago
- Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw☆10Jun 12, 2019Updated 6 years ago
- ☆11Jul 20, 2016Updated 9 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 3 months ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- Time-based memoized library for Crystal☆11Mar 24, 2021Updated 4 years ago
- A mostly FP implementation of Schorre's "syntax-oriented compiler writing language"☆13Mar 21, 2019Updated 6 years ago
- My Orca Patches☆12Dec 10, 2018Updated 7 years ago
- Implementation of a Pratt Parser in Java☆11Jun 29, 2019Updated 6 years ago
- The Titan programming language.☆12Apr 16, 2024Updated last year
- The repository manifest for Renouveau☆11Dec 16, 2019Updated 6 years ago
- JS/TS SDK for handling (extensible) events in Matrix☆10Jan 13, 2023Updated 3 years ago
- Collection of things for cabin living☆43Dec 1, 2023Updated 2 years ago
- a self-hosted internet of things toolkit☆11Nov 10, 2015Updated 10 years ago
- Tool for displaying Japanese text in uxn ROMs☆13Jan 28, 2023Updated 3 years ago
- A stateless password management solution☆11Sep 11, 2018Updated 7 years ago
- A RISC-V ISA simulator written in Rust☆12Jan 7, 2017Updated 9 years ago
- Setup instructions for Raspberry Pi 3: burn jessie-lite on micro sd, connect via ethernet from computer, install EMACS, SuperCollider☆11Nov 26, 2017Updated 8 years ago