Barely functional imageboard
☆11Jun 12, 2016Updated 10 years ago
Alternatives and similar repositories for negoto-old-and-busted
Users that are interested in negoto-old-and-busted are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Mar 14, 2016Updated 10 years ago
- A lightweight personal wiki in Racket☆19May 19, 2017Updated 9 years ago
- Libraries for Ypsilon Scheme☆27Jun 10, 2010Updated 16 years ago
- Clean init system using s6 as the process supervisor.☆12Mar 18, 2017Updated 9 years ago
- A decompressor/converter for .ANI/.SLD animation files, as used in the Brunswick Frameworx bowling scoring system.☆17Feb 9, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A toy operating system written in Rust.☆20Feb 4, 2017Updated 9 years ago
- Get rid of all the boring git commit messages like 'small fix'. cmt is an automatic git commit generator☆18Nov 28, 2014Updated 11 years ago
- A futaba styled Rails imageboard☆24Dec 13, 2018Updated 7 years ago
- The official compiler for the Quartz programming language☆28May 3, 2018Updated 8 years ago
- Editable graphics file, artwork source☆14Jan 19, 2026Updated 6 months ago
- Bottlenose Source Code☆11May 25, 2017Updated 9 years ago
- ☆21Apr 8, 2019Updated 7 years ago
- The awful code behind the most beautiful torrent site to ever exist.☆11Jan 28, 2016Updated 10 years ago
- Official source code of Vantaur coin☆10Jun 8, 2018Updated 8 years 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.
- Terrible window manager, written in terrible C and with terrible bugs and segfaults☆10May 7, 2016Updated 10 years ago
- Functional programming in human-readable form☆10Feb 11, 2017Updated 9 years ago
- Computing lenses generically using generics-sop☆15Jan 7, 2026Updated 6 months ago
- pwning challenge with a minimal hypervisor on apple hypervisor framework☆13May 13, 2019Updated 7 years ago
- A wrapper for json in the Erlang stdlib for 27+ and for jsx in Erlang 26 and below☆11Jan 17, 2025Updated last year
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆24Feb 17, 2015Updated 11 years ago
- The OpenRA Resource Center helps the community sharing their custom maps.☆23Updated this week
- This repo keeps track of my codes, answers and thinkings when exploring books.☆31Mar 16, 2024Updated 2 years ago
- Axio Web Framework for Racket☆20Jul 23, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Send screenshots to twitter directly from mpv☆23Jul 25, 2021Updated 5 years ago
- bsp visibility precomputer, but in Rust☆13Nov 10, 2019Updated 6 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆51May 21, 2026Updated 2 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- Inspired by MCM mod for the Bethesda games this provides similar functionality for Anomaly☆27Aug 31, 2025Updated 10 months ago
- A theorem prover☆15Updated this week
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- miniKanren in the browser☆56Mar 25, 2016Updated 10 years ago
- Collection of libc-free C snippets that I paste and tweak in my projects☆14Aug 6, 2017Updated 8 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- ☆11Jun 16, 2026Updated last month
- ☆21May 11, 2012Updated 14 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- A highly customizable, flexible, lightweight, battle-tested, fast and secure self-hosted streaming platform.☆46Updated this week