Time-traveling C-like programming language for the Sphinx architecture
☆16Apr 16, 2025Updated last year
Alternatives and similar repositories for halt_is_defeat
Users that are interested in halt_is_defeat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tiny BASIC compiler and interpreter☆13Apr 5, 2018Updated 8 years ago
- An opengl image processing python library that work with any types of textures☆14Feb 26, 2025Updated last year
- An menu/quick reference for Programming Language concepts☆20Apr 13, 2024Updated 2 years ago
- A flexible modeling notation Δ☆15Jul 29, 2026Updated 3 months ago
- A interpreted language called CPound!☆12Aug 26, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- EPOCH Input System Version 2☆10Nov 2, 2026Updated last week
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆13Aug 2, 2024Updated 2 years ago
- A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime☆14Oct 4, 2026Updated last month
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 5 years ago
- CPU emulator and assembler☆10Oct 22, 2021Updated 5 years ago
- ☆13Aug 29, 2022Updated 4 years ago
- Modernised library for special mathematical functions☆10Jun 5, 2022Updated 4 years ago
- The sources of the web LFortran GUI interface☆15May 6, 2026Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Glide programming language☆22Apr 7, 2023Updated 3 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated last year
- PlasmaNet is a simple and barebones information system modelled closely to the Tim Berners-Lee 1989 World Wide Web.☆17Feb 28, 2025Updated last year
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 5 years ago
- A flight simulator for GBA using voxel space rendering.☆12Dec 26, 2021Updated 4 years ago
- Bringing TOML blooms to JSON land☆10Oct 8, 2026Updated last month
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated last year
- Alternative "security" module for Brazilian banks☆15Nov 25, 2020Updated 5 years ago
- A kd-tree implementation in Fortran by Matthew B. Kennel☆11Jun 29, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- VTFLib by Nem, modified to work on *nix☆12Oct 12, 2012Updated 14 years ago
- Fortran + Apache + BSD + sqlite = Web framework☆10Aug 12, 2016Updated 10 years ago
- Fortran port of the Bessels.jl repository☆12Jun 10, 2026Updated 5 months ago
- Craccken-linux is a Linux distribution focused on futuristic style. With some exclusive features.☆10Jul 3, 2023Updated 3 years ago
- Fortran backward (reverse) mode automatic differentiation.☆12Feb 28, 2022Updated 4 years ago
- The Komodo programming language code repository☆14Oct 29, 2026Updated 2 weeks ago
- Programming Language Void☆14Oct 21, 2026Updated 3 weeks ago
- Emulate native integer and floating-point types in Python☆20May 15, 2023Updated 3 years ago
- A voxel game, written in Fortran, LuaJIT, and C.☆12Dec 12, 2024Updated last year
- 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 lightweight web browser for desktop application development by JavaScript/html/css (like electron).☆19Jan 6, 2023Updated 3 years ago
- ☆11May 6, 2024Updated 2 years ago
- Converter Plugin that brings Pug support to the Jekyll blog-aware, static site generator☆13Jun 19, 2017Updated 9 years ago
- The interface for dit, a universal container file.☆25Mar 20, 2024Updated 2 years ago
- Tools for FPGA Assurance Flows☆14Sep 25, 2026Updated last month
- for all, home☆17Updated this week
- Valve Texture Format library for Linux/Gnome - This is a GdkPixbuf image loader, which lets you browse VTF files in Nautilus or open them…☆14Oct 27, 2015Updated 11 years ago
Are these results useful?