benburrill / halt_is_defeatView external linksLinks
Time-traveling C-like programming language for the Sphinx architecture
☆16Apr 16, 2025Updated 10 months ago
Alternatives and similar repositories for halt_is_defeat
Users that are interested in halt_is_defeat are comparing it to the libraries listed below
Sorting:
- A interpreted language called CPound!☆12Aug 26, 2024Updated last year
- Transform one-sentence ideas into full movie concepts with AI. Utilizes OpenAI API, integrating ChatGPT for text generation and DALL-E fo…☆13Jan 1, 2025Updated last year
- Bitstream Fault Analysis Tool☆15Jul 17, 2023Updated 2 years ago
- Programming Language Void☆14Feb 5, 2026Updated last week
- krew-wasm offers a way to write and distribute kubectl plugins based on WebAssembly☆14Apr 15, 2024Updated last year
- Tool for debugging WebAssembly (like gdb).☆12Jan 25, 2023Updated 3 years ago
- ☆12Nov 4, 2023Updated 2 years ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- an experiment☆11Dec 20, 2024Updated last year
- LL(k) Parsing Table Generator for Automaton with One-Symbol Reading Head☆13Jan 19, 2021Updated 5 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Compiler for the Albatross Language☆11Sep 29, 2021Updated 4 years ago
- Module to use the Tiny C Compiler for inline C in Python.☆10Jan 28, 2026Updated 2 weeks ago
- Runtime Assembler for C++☆13Dec 15, 2023Updated 2 years ago
- ☆11Jul 18, 2023Updated 2 years ago
- Find the most starred repositories per line of code in the language of your choice☆12Feb 14, 2024Updated 2 years ago
- Converter Plugin that brings Pug support to the Jekyll blog-aware, static site generator☆13Jun 19, 2017Updated 8 years ago
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated 9 months ago
- Semantic Versions handling in Common Lisp☆14Mar 18, 2023Updated 2 years ago
- A game with hexagonal blocks on a cylindrical world inspired by Minecraft☆14Feb 8, 2026Updated last week
- ☆17Jan 8, 2026Updated last month
- MLIR Bindings for Swift☆13Apr 9, 2021Updated 4 years ago
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime☆13Jun 30, 2023Updated 2 years ago
- ☆19Nov 5, 2022Updated 3 years ago
- Library for displaying small previews of Tensors. Useful for working with TensorFlow in Swift.☆13Dec 27, 2021Updated 4 years ago
- Bilingual sentence aligner (Gale & Church, 1993)☆14Jan 8, 2026Updated last month
- A lightweight web browser for desktop application development by JavaScript/html/css (like electron).☆18Jan 6, 2023Updated 3 years ago
- [NeurIPS 2023] Multi-fidelity hyperparameter optimization with deep power laws that achieves state-of-the-art results across diverse benc…☆16Nov 12, 2023Updated 2 years ago
- ☆13Nov 29, 2019Updated 6 years ago
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆18May 22, 2023Updated 2 years ago
- PlasmaNet is a simple and barebones information system modelled closely to the Tim Berners-Lee 1989 World Wide Web.☆16Feb 28, 2025Updated 11 months ago
- A simple Web Assembly Interpreter☆18Mar 15, 2024Updated last year
- OpenCore Configuration for Ryzen 3950x with ASUS Crosshair VIII Hero (Wi-Fi) X570☆18Sep 4, 2021Updated 4 years ago
- Yet Another deep embedding of Linear Logic in Coq☆16Feb 7, 2026Updated last week
- A Foreign Function Interface extension for Tcl☆21Sep 9, 2025Updated 5 months ago
- Craccken-linux is a Linux distribution focused on futuristic style. With some exclusive features.☆10Jul 3, 2023Updated 2 years ago
- Bootstrap compiler for Firefly☆56Jan 31, 2026Updated 2 weeks ago
- Vectorization toolkit for golang☆24Aug 19, 2025Updated 5 months ago