the Coolest OS Ever Created
☆23Mar 8, 2024Updated 2 years ago
Alternatives and similar repositories for COSEC
Users that are interested in COSEC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Java Compiler, with functional lexical analyzer and an extended parser; preliminary error and exception handling☆10Aug 8, 2013Updated 12 years ago
- A Haskell port of the C++ smallpt path tracer☆16Dec 14, 2020Updated 5 years ago
- Simple-OS aims to be a self-hosting operating system providing basic OS functionalities☆37Jan 26, 2025Updated last year
- a barebones bootable platform to run the frotz z-code interpreter inside a VM☆18Oct 17, 2016Updated 9 years ago
- Scheme on SECD☆43Feb 9, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Dot Net Anywhere evolved☆12Sep 11, 2017Updated 8 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Read, process and write WAV files with Elixir.☆10Mar 28, 2018Updated 8 years ago
- A clean implementation of Forth on 32-bit linux-x86☆14Jul 21, 2020Updated 5 years ago
- FFT Explorations (basic implementation)☆10Aug 8, 2014Updated 11 years ago
- Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.☆78Nov 17, 2012Updated 13 years ago
- MSIL interpreter and runtime for a school project.☆10Dec 16, 2014Updated 11 years ago
- A Nim library for writing animated GIFs☆22May 21, 2017Updated 8 years ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Test model for subsurface scattering☆10Aug 26, 2015Updated 10 years ago
- ☆20Dec 23, 2021Updated 4 years ago
- ☆14Feb 28, 2025Updated last year
- UaEnv - модуль для роботи з українським текстом в Ruby. Головна ціль UaEnv - полегшити розробку україномовних програм на Ruby☆11Mar 4, 2012Updated 14 years ago
- Key-value store based on a trie data structure to handle the keyspace.☆13Jun 5, 2019Updated 6 years ago
- Heroku + docker + haskell = ?☆13May 11, 2015Updated 10 years ago
- A Sega Master System emulator in C#☆11Feb 19, 2020Updated 6 years ago
- SAYEH cpu-memory basic computer☆11Jul 12, 2017Updated 8 years ago
- Weighted Wang tiling.☆12May 21, 2015Updated 10 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An extended typed Lambda Calculus☆21Aug 5, 2024Updated last year
- Tutorial on modeling with TLA+☆24Oct 7, 2025Updated 6 months ago
- Such OS; Very Duck!☆15Feb 19, 2021Updated 5 years ago
- A CIL (also known as MSIL) interpreter.☆14Jun 2, 2021Updated 4 years ago
- Basic dataset for the linguistic data collection.☆15Feb 13, 2017Updated 9 years ago
- Writeup that goes along with this:☆16Apr 19, 2018Updated 8 years ago
- Operating system development☆29Oct 31, 2013Updated 12 years ago
- GitHub's month-long game jam November 2016☆10Aug 27, 2022Updated 3 years ago
- A virtual machine and assembler written in AWK.☆16May 3, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Javascript tokenizer for english sentences☆14Oct 15, 2015Updated 10 years ago
- A Haskell libary for generating low-level sounds with high-level combinators.☆17Oct 10, 2024Updated last year
- ☆12Apr 12, 2026Updated 3 weeks ago
- A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone e…☆16Jun 7, 2010Updated 15 years ago
- Awesome links and information about memory allocation☆184May 1, 2019Updated 7 years ago
- A hobby language that compiles to WebAssembly☆28Jun 9, 2025Updated 10 months ago
- Fun with the PICO-8 fantasy console☆12May 29, 2018Updated 7 years ago