Binary lambda calculus
☆10Jan 29, 2018Updated 8 years ago
Alternatives and similar repositories for blc
Users that are interested in blc are comparing it to the libraries listed below
Sorting:
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 10 years ago
- An interpreter and C-translator of Whitespace☆18Mar 20, 2017Updated 8 years ago
- A minimal esolang based on lambda calculus☆16Jan 13, 2021Updated 5 years ago
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Oct 14, 2018Updated 7 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Aug 2, 2017Updated 8 years ago
- Compile Dhall expressions to Cabal files☆102Dec 26, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/andrews-deal☆10Sep 16, 2022Updated 3 years ago
- Shell Integration Library [Haskell]☆54Mar 14, 2025Updated 11 months ago
- Bootable emulator for the Dawn Operating System for x86.☆40Jan 10, 2026Updated last month
- Fast base64 encoding and decoding for Haskell.☆48Sep 25, 2023Updated 2 years ago
- A repository to review the main concepts about Functional Programming with Java☆10Updated this week
- An application built to monitor CS:GO prices on the Steam market☆13Dec 29, 2021Updated 4 years ago
- FELICS Framework☆11Dec 5, 2019Updated 6 years ago
- Library for distance measurements☆12Mar 1, 2023Updated 3 years ago
- A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.☆10Mar 7, 2024Updated last year
- A disjoint-sets/union-find implementation that allows for efficient iteration over the elements of a set.☆11Aug 8, 2023Updated 2 years ago
- ESP32 library to access Azure IoT services, using the Azure IoT Middleware for FreeRTOS interface, in an easier and cleaner way.☆11Jun 28, 2025Updated 8 months ago
- A Cython library to solve the Bittensor registration POW on CUDA☆15Aug 15, 2025Updated 6 months ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- This project focuses on using deep learning to replace text in images while retaining the same font and style.☆10Dec 9, 2019Updated 6 years ago
- C++ API for Buttplug IO☆12Aug 8, 2025Updated 6 months ago
- Python module for computer vision anomaly detection☆11Mar 12, 2024Updated last year
- Solutions to Modern Compiler Implementation in ML 🐯☆10May 24, 2017Updated 8 years ago
- JavaScript compiler for Scratch projects.☆11Sep 24, 2017Updated 8 years ago
- EME (Encrypt-Mix-Encrypt) wide-block encryption for Go.☆51Jan 25, 2026Updated last month
- A full brainfuck to bootable OS image compiler.☆37Feb 24, 2018Updated 8 years ago
- Jon Ripley's Brainfuck Lost Kingdom running in your browser.☆45Apr 25, 2025Updated 10 months ago
- C Compiler written in TeX☆43Nov 19, 2016Updated 9 years ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- ☆10Jul 24, 2023Updated 2 years ago
- PS4 SFlash0 Tool / Python☆10May 11, 2024Updated last year
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 6 years ago
- 24kb NES Shmup☆10Jan 5, 2026Updated 2 months ago
- Disassembly of the 1989 Tengen version of Tetris for the NES☆14Dec 16, 2024Updated last year
- ☆15Feb 1, 2026Updated last month
- I2P jump service. A sort of slave DNS server for I2P.☆13Feb 24, 2022Updated 4 years ago
- Computation using data flow graphs for scalable machine learning☆17Feb 10, 2025Updated last year