NicklasBoto / BruSKIView external linksLinks
"DeBruijn to SKI" Untyped language that compiles to Unlambda
☆10Dec 11, 2020Updated 5 years ago
Alternatives and similar repositories for BruSKI
Users that are interested in BruSKI are comparing it to the libraries listed below
Sorting:
- Functional Quantum Programming☆19May 19, 2021Updated 4 years ago
- Notes from the Computer Science program at Chalmers Uni. of Technology☆14Apr 27, 2018Updated 7 years ago
- Automatically exported from code.google.com/p/andrews-deal☆10Sep 16, 2022Updated 3 years ago
- The natural log function☆41Aug 26, 2023Updated 2 years ago
- A repository to review the main concepts about Functional Programming with Java☆10Feb 4, 2026Updated last week
- A generative visual sequencer instrument for monome norns☆12May 9, 2023Updated 2 years ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- Solutions to Modern Compiler Implementation in ML 🐯☆10May 24, 2017Updated 8 years ago
- Library for distance measurements☆12Mar 1, 2023Updated 2 years ago
- An sbt plugin to manage JS dependencies in Scala.js, in the good old script style☆12Dec 1, 2021Updated 4 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 6 years ago
- ☆10Feb 3, 2016Updated 10 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 6 months ago
- Frege Interpreter☆15Jun 13, 2020Updated 5 years ago
- ☆12Nov 24, 2021Updated 4 years ago
- something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing☆21Updated this week
- NeWS clone (very work in progress).☆11Oct 25, 2016Updated 9 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Selenium RC client for Racket.☆10Jan 19, 2011Updated 15 years ago
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 10 years ago
- Simple string substitution for Haskell.☆15May 8, 2018Updated 7 years ago
- ☆15Feb 1, 2026Updated 2 weeks ago
- Project Template for IHP. Used by ihp-new. License: MIT☆11Jan 22, 2026Updated 3 weeks ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 4 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- Distributed Embeddable Database☆12Sep 25, 2020Updated 5 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- ☆12Feb 12, 2025Updated last year
- Pure-Scala implementation of HOCON, suitable for cross-platform use☆10May 29, 2017Updated 8 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Vim indenting and syntax highlighting for Groovy☆11Jan 26, 2016Updated 10 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 11 years ago
- Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.☆13Jun 27, 2012Updated 13 years ago
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 6 years ago