bf-enterprise-solutions / os.bfView external linksLinks
A next-generation high-performance operating system focused on enterprise-level resilience
☆90Sep 30, 2024Updated last year
Alternatives and similar repositories for os.bf
Users that are interested in os.bf are comparing it to the libraries listed below
Sorting:
- Infinitely configurable integrated IDE and text editor☆128Oct 14, 2024Updated last year
- High efficiency string manipulation in Brainfuck, re-imagined.☆13Apr 10, 2024Updated last year
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14May 26, 2025Updated 8 months ago
- ☆70Jun 2, 2025Updated 8 months ago
- bcc is a b compiler☆33Jun 23, 2022Updated 3 years ago
- Old DOS 3D modelling program written in Pascal & Assembler☆21Jun 16, 2021Updated 4 years ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Updated this week
- Portable high-level assembler with authentic C syntax☆25Jul 1, 2022Updated 3 years ago
- KISS - Package Manager, mirror of https://codeberg.org/kiss-community/kiss☆21Jan 5, 2025Updated last year
- Linux fork of FreeBSD crunch☆17Jan 30, 2012Updated 14 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- ☆12Jul 16, 2024Updated last year
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- ☆18May 10, 2024Updated last year
- Resurrecting PP-BESM☆27Dec 8, 2025Updated 2 months ago
- ARM Cortex M0 emulator for DOS☆29Oct 31, 2023Updated 2 years ago
- A production-quality expert-system shell, written in thoroughly modern Common Lisp.☆130Nov 10, 2025Updated 3 months ago
- NixPak Packages (moved to https://github.com/nixpak/nixpak/tree/master/contrib)☆15Jul 12, 2025Updated 7 months ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- super tiny implementation of higher-order logic proof assistant in lean☆22Sep 29, 2019Updated 6 years ago
- ☆15Oct 7, 2024Updated last year
- Language server for the Bend programming language☆17Oct 18, 2024Updated last year
- a tiny distro-independent package manager written in Rust.☆16Jun 22, 2024Updated last year
- A very shitty lambda calculus.☆16Jan 17, 2025Updated last year
- A fast, binary and garbage-free serialization framework with a simple, compact and succinct non-XML schema definition language, with supp…☆17Feb 2, 2026Updated last week
- NixOS calamares [maintainer=@vlinkz]☆36Aug 16, 2025Updated 5 months ago
- Here we give programs that check if Turing machines halt or not.☆15Sep 1, 2025Updated 5 months ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- ☆19Jan 8, 2026Updated last month
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- A secure utmp/wtmp implementation☆19Jan 21, 2026Updated 3 weeks ago
- The roots of trust for all architectures☆105Nov 30, 2024Updated last year
- Hello, World! written in seemingly "gibberish" x86 assembly using obfuscation on the assembly and machine code -level☆42May 21, 2023Updated 2 years ago
- x86 assembler in 512 bytes of x86 machine code☆38Dec 1, 2019Updated 6 years ago
- A simple terminal gravity simulator☆19Apr 26, 2024Updated last year
- um Bot de Telegram com o intuito de agir como um ser humano comum, gerenciar grupos sozinha e atender alguns pedidos dos membros comuns.☆17Feb 8, 2024Updated 2 years ago
- ☆40May 20, 2023Updated 2 years ago
- Nix bindings for all languages☆43Jun 9, 2025Updated 8 months ago
- 📚 A collection of resources about supercompilation☆128Jul 15, 2025Updated 6 months ago