kcsongor / arm-doomView external linksLinks
Doom-like engine on Raspberry Pi, in pure bare metal assembly
☆61Dec 13, 2017Updated 8 years ago
Alternatives and similar repositories for arm-doom
Users that are interested in arm-doom are comparing it to the libraries listed below
Sorting:
- doom☆17Mar 8, 2016Updated 9 years ago
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- An interactive interpreter for asynchronous algebraic effects☆14Jun 19, 2024Updated last year
- Make Beer. Chill Beer. Drink Beer. Repeat☆11Feb 16, 2017Updated 8 years ago
- Use liquid crystal display (LCD) in Elixir☆11Dec 29, 2025Updated last month
- Elixir reimplementation of openzwave (not a wrapper)☆17Oct 25, 2019Updated 6 years ago
- A workshop at CodeBEAM America 2024 showcasing custom hardware and Erlang-based firmware development using AtomVM.☆14Nov 18, 2024Updated last year
- Matlab bindings and interface for Haskell☆13Aug 24, 2020Updated 5 years ago
- Thread safe gcc function entry/exit tracer and call graph generator☆15Dec 22, 2015Updated 10 years ago
- peg -> nimbleparsec☆17Jan 3, 2026Updated last month
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- IPP client implementation in Elixir for performing distributed printing over HTTP☆13Apr 1, 2024Updated last year
- Nerves Target for M5Stack Core MP135☆16Feb 11, 2025Updated last year
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 4 years ago
- Clojure(Script) Example CMS☆11Jan 24, 2015Updated 11 years ago
- ☆17Oct 16, 2018Updated 7 years ago
- The power of posix_spawn in your shell.☆12Sep 18, 2022Updated 3 years ago
- A demo of Github email search☆17Dec 28, 2015Updated 10 years ago
- ☆18May 10, 2022Updated 3 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- ARM11 group project; Atanas G., Norbert P., Daniel Z., Levente K.: MARIO KART☆13Mar 9, 2019Updated 6 years ago
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated last month
- Writeup that goes along with this:☆16Apr 19, 2018Updated 7 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆14May 15, 2017Updated 8 years ago
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 10 years ago
- Experiments with haskell neural networks☆11Jul 16, 2015Updated 10 years ago
- A simple implementation of an mDNS (multicast Domain Name System) server.☆18Jul 31, 2020Updated 5 years ago
- A guided tour through https://github.com/bitemyapp/learnhaskell☆14May 7, 2015Updated 10 years ago
- A Forth-oriented VM and debugger☆22Sep 21, 2025Updated 4 months ago
- A Model of Relationally Parametric System F in Coq☆22May 27, 2015Updated 10 years ago
- Scenic render-only driver for the Raspberry Pi under Nerves☆21Sep 3, 2021Updated 4 years ago
- ☆20May 24, 2021Updated 4 years ago
- Python script to dump profile pictures of friends/random people☆16Aug 14, 2016Updated 9 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- a logic-based trust-management system☆19Sep 17, 2012Updated 13 years ago
- Agda formalization of Intuitionistic Propositional Logic☆22Nov 14, 2025Updated 2 months ago
- GreedyGit is a GitBot that utilizes the GitHub's api to do cool things. At this stage, the GreedyGit is only capable of helping you incre…☆18Dec 28, 2015Updated 10 years ago
- TensorFlow Lite Elixir bindings with optional EdgeTPU support.☆22Apr 4, 2025Updated 10 months ago