GameBoy Emulator in C
☆19Apr 1, 2023Updated 3 years ago
Alternatives and similar repositories for gameboy-c
Users that are interested in gameboy-c are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- caar - the modern LISP machine☆12Mar 16, 2022Updated 4 years ago
- A chatbot AI using GPT-2 and tensorflow☆10Jan 12, 2025Updated last year
- A thread synchonized queue made for PThreads☆11Jan 15, 2021Updated 5 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Retro snake game made in c with raylib library.☆11Aug 29, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- C++ Audio Engine which wraps the FMOD API. Dependencies included along with a preconfigured VS2019 Solution. Installation instructions in…☆17Mar 5, 2026Updated last month
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Disassembly of the game.com boot ROM☆13Dec 10, 2020Updated 5 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- NAACL'2021: Non-Parametric Few-Shot Learning for Word Sense Disambiguation☆10Jul 1, 2021Updated 4 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Experimental Work in Progress Nintendo 64 emulator written in Rust☆10Feb 8, 2022Updated 4 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- ☆13Oct 12, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- OCaml Bindings to MLIR☆15Dec 11, 2020Updated 5 years ago
- Gradient noise generators in C (perlin and simplex)☆12Dec 18, 2012Updated 13 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 6 months ago
- ☆11Oct 24, 2018Updated 7 years ago
- Transform your code in turing-complete ways☆13Mar 28, 2022Updated 4 years ago
- ☆14Mar 25, 2023Updated 3 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- A tiny wiki engine. (Fossil Export)☆13Jul 29, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 2 months ago
- Very hacky Starlet emulator. Here be dragons, this was never meant to be released.☆12Nov 30, 2016Updated 9 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- Bindings to the `cuda` and `nvrtc` libraries with a unified interface☆22Apr 8, 2026Updated last week
- Basic utility to launch an ARM binary from the SD card of a Wii.☆15Feb 19, 2024Updated 2 years ago
- A minimal lockless queue (i.e. a light pipe) witten in vanilla C.☆13May 6, 2018Updated 7 years ago
- Dani's Jelly Drift, decompiled into a playable Unity project☆15Jun 9, 2021Updated 4 years ago
- ☆14Updated this week
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Dec 25, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 8 years ago
- Framework for defining and using monads in Chez Scheme☆11Aug 16, 2012Updated 13 years ago
- Cellular automata environment written in Common Lisp☆17Apr 17, 2021Updated 5 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- modular audio processing system☆16Feb 21, 2013Updated 13 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year