☆26Oct 23, 2025Updated last year
Alternatives and similar repositories for ocaml-challenge
Users that are interested in ocaml-challenge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Android app to view data from the giua@school workbook☆14Jun 10, 2023Updated 3 years ago
- ☆13Sep 29, 2026Updated last month
- A chrestomathy of smart contracts in different smart contract languages☆33Jul 15, 2026Updated 3 months ago
- ☆14Mar 2, 2018Updated 8 years ago
- Formalizing Automated Market Makers in Lean 4☆18Feb 7, 2024Updated 2 years ago
- 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.
- An open benchmark for evaluating smart contracts verification tools.☆17Oct 5, 2025Updated last year
- Rational R1000/s400 emulator (second iteration)☆12Mar 25, 2026Updated 7 months ago
- Compiler for BitML☆27Mar 10, 2022Updated 4 years ago
- NeWS clone (very work in progress).☆11Oct 25, 2016Updated 10 years ago
- Balzac is a domain-specific language to write Bitcoin transactions.☆27Jul 12, 2025Updated last year
- A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.☆22Jun 14, 2022Updated 4 years ago
- The UNIX System V Release 3.0 source code (Motorola 68000)☆17Jun 10, 2025Updated last year
- Graphical traceroute. Plots traceroute on globe.☆10Dec 20, 2017Updated 8 years ago
- An emulator for very expensive old computers☆15Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- PCB to connect MIDI-device like Roland MT-32 to PC parallel port, utilizes Arduino Nano and software support from modified SOFTMPU☆13Jan 3, 2022Updated 4 years ago
- The portable clu compiler☆12Aug 7, 2022Updated 4 years ago
- A Common Lisp Game Engine☆16Oct 24, 2026Updated last week
- A Mirror of http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai//☆13Nov 15, 2021Updated 4 years ago
- A Port of the UNIX Version 6 (V6) Kernel to the 8086 PC in Real Mode☆15Mar 19, 2026Updated 7 months ago
- Squeak Smalltalk programming environment for plan9☆11Aug 28, 2019Updated 7 years ago
- The IRIX 6.5.5 source code.☆15Sep 29, 2022Updated 4 years ago
- Literate Programming extension for VS Code☆11Oct 13, 2026Updated 2 weeks ago
- LightWave 3D 5.x plugins for AmigaOS, cross-compiled with GCC☆14Oct 21, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Micropolis - the city simulator☆14Jul 10, 2025Updated last year
- A sample/starter template for developing VS Code extensions with webviews☆11Oct 6, 2023Updated 3 years ago
- A declarative command-line parser for OCaml☆49Jan 5, 2026Updated 9 months ago
- The unexec hack. Hideous and useless, but fun to write.☆14Feb 25, 2017Updated 9 years ago
- C++ implementation of Pitteway's algorithm for rasterizing ellipses, parabolas, and hyperbolas☆11Sep 28, 2019Updated 7 years ago
- easy-to-use wrapper for OCaml's Dynlink☆17Jan 9, 2017Updated 9 years ago
- Historical preservation of the Idris OS for the Atari ST☆17Oct 17, 2025Updated last year
- ☆13Jul 6, 2022Updated 4 years ago
- A modern BLISS compiler, based on LLVM and exposing some of its useful items.☆18Oct 11, 2019Updated 7 years ago
- 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.
- Scripts and public dataset for "Dissecting Ponzi schemes in Ethereum"☆29Jul 18, 2020Updated 6 years ago
- Restoring a lesser-known Unix System V Release 4/i386 distribution from the early 90s☆16Dec 12, 2024Updated last year
- Blackjack written in Crystal☆11Dec 27, 2024Updated last year
- a conforming ISLisp processor KISS☆17Feb 6, 2019Updated 7 years ago
- Homebrew formulas for building KDE software on macOS☆53Jun 19, 2026Updated 4 months ago
- Simple Programmer's Hierarchical Interactive Graphics Standard☆10Aug 9, 2019Updated 7 years ago
- OG2 VLM emulator for Debian Linux☆20Sep 28, 2026Updated last month