A heavily optimizing Brain**** interpreter written in Bash!
☆32Nov 10, 2025Updated 7 months ago
Alternatives and similar repositories for BrainBash
Users that are interested in BrainBash are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A cheap psychedelic simulator on Linux. EPILEPSY WARNING!☆14Aug 24, 2019Updated 6 years ago
- ☆13Oct 8, 2022Updated 3 years ago
- c sysfetch☆23Aug 4, 2022Updated 3 years ago
- LLVM Bitcode parser in Rust☆26Apr 9, 2026Updated 2 months ago
- ☆16Jan 12, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- A quick and dirty Spigot plugin to give F3-like debug info to Geyser☆12May 11, 2023Updated 3 years ago
- A simpler alternative to sudo and doas☆11May 9, 2026Updated last month
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- Hindley–Milner Type inferencing in C☆48Aug 11, 2022Updated 3 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- Podjeli is file sharing on your terms, encode your file into URLs. SPA written in JavaScript with JQuery.☆17Aug 29, 2020Updated 5 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A program written in pure Rust to query music info from mpd and display it in a notification.☆10Jan 20, 2023Updated 3 years ago
- Arduino BSP for ESP8266 without WiFi support☆14Dec 26, 2022Updated 3 years ago
- ☆10Oct 27, 2024Updated last year
- A version of vale981's repo to allow building bcachefs with the latest stable kernel☆13Feb 9, 2022Updated 4 years ago
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 16 years ago
- A Haskell roguelike toolkit☆12Jul 10, 2025Updated 11 months ago
- Simple extension that removes rounded edges off the entire Internet and reveals the laziness of today's design philosophy.☆16Nov 5, 2025Updated 8 months ago
- A functional scripting language.☆17Jan 18, 2025Updated last year
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An artificial life experiment.☆12Jul 30, 2020Updated 5 years ago
- A command-line text editor, written in Bash☆16Oct 20, 2021Updated 4 years ago
- Software Instrumentation Dynamically Enabled☆15Feb 27, 2026Updated 4 months ago
- A pure bash raytracer☆13Nov 14, 2021Updated 4 years ago
- ☆10May 5, 2025Updated last year
- A flexible Python Kconfig implementation☆19Apr 8, 2026Updated 2 months ago
- HAMMER1/2 file system userspace utilities on Linux☆24Jan 29, 2023Updated 3 years ago
- German enigma machine implemented with pure functional programming☆19Oct 26, 2020Updated 5 years ago
- Vulkan renderer mod for Minecraft. This fork makes it compatible with PojavLauncher (on Android and iOS)☆12Mar 19, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A terminal-emulator color palette setter written in POSIX C99.☆35May 4, 2024Updated 2 years ago
- Fully Randomized Pointers☆19Jun 10, 2025Updated last year
- LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan),…☆22Feb 5, 2025Updated last year
- ☆23May 25, 2025Updated last year
- Experimenting with audio visualizations and particle systems in OpenGL☆19Nov 26, 2021Updated 4 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆25May 7, 2025Updated last year
- A simple C Thread pool implementation☆15Nov 13, 2018Updated 7 years ago