Miscellaneous projects and examples, notably my python/ncurses quizzes.
☆21Dec 19, 2020Updated 5 years ago
Alternatives and similar repositories for div
Users that are interested in div are comparing it to the libraries listed below
Sorting:
- A game for Lounge's game jam☆10Mar 22, 2015Updated 10 years ago
- One album per day☆13May 24, 2024Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- A script to set wallpapers just how I like them☆11Mar 23, 2024Updated last year
- A basic realtime chat app project written with the Django framework and Django Channels.☆14Jan 5, 2021Updated 5 years ago
- Minecraft: Java Edition resource pack generator☆12Oct 2, 2025Updated 5 months ago
- Flow implementations for Mirage☆12Feb 5, 2025Updated last year
- Lwt with async backend☆18Jan 2, 2014Updated 12 years ago
- mirror of https://git.robur.coop/robur/mirage-monitoring☆13Sep 30, 2025Updated 5 months ago
- Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex☆10Mar 18, 2024Updated last year
- ppx_system is a syntax extension to known operating system at compile time☆12May 9, 2023Updated 2 years ago
- Monte Carlo tree search for the travelling salesman problem (MCTS for the TSP)☆12Jun 18, 2022Updated 3 years ago
- Miroir du blog et des tweet de sam et max pour consultation hors ligne☆15Nov 8, 2015Updated 10 years ago
- ☆10Jul 20, 2023Updated 2 years ago
- Simple, existential optics library for OCaml☆17Sep 24, 2022Updated 3 years ago
- a shared pixel display controllable via TCP☆13Jan 25, 2024Updated 2 years ago
- A simple diff algorithm in pure OCaml☆15Jul 10, 2020Updated 5 years ago
- An Awesome OCaml splashscreen☆10Apr 1, 2022Updated 3 years ago
- A demo pos app☆10Oct 29, 2021Updated 4 years ago
- Le site collaboratif pour apprendre à créer des jeux vidéo ! (Propulsé par Vue et Gridsome)☆14Apr 4, 2023Updated 2 years ago
- A flicker-free scoreboard library with support of text up to 122 chars for 1.14+ and 48 chars for 1.13-☆10Jul 12, 2024Updated last year
- Your go-to 💡 for running 🏃♂️ code snippets directly on GitHub Gist!☆14Jan 16, 2026Updated last month
- PPX for template strings☆14Nov 17, 2018Updated 7 years ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated 2 months ago
- Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.☆10May 28, 2021Updated 4 years ago
- VSCode extension to makes it possible to simulate numworks calculator.☆13Feb 4, 2025Updated last year
- [No Active Development] An Android app for learning Japanese by keeping a journal.☆42Mar 8, 2023Updated 2 years ago
- ☆12Feb 7, 2024Updated 2 years ago
- A Django-Channels project that implements video-call(WebRTC), real-time chatting and a real-time tic tac toe game.☆11Jul 16, 2023Updated 2 years ago
- Text to 8xp converter for the TI-82/83/84 (+/CE) graphing calculators☆13Jun 17, 2019Updated 6 years ago
- A superhero app.☆11Jun 3, 2020Updated 5 years ago
- ☆14Apr 1, 2025Updated 11 months ago
- discord library in batch☆10Sep 13, 2019Updated 6 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 4 months ago
- A useless 16 bit OS. I can't even call it an OS for now.☆12Jan 25, 2023Updated 3 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- A fork of 8bitbubsy's Protracker 2.3d clone for cross-platform SDL☆12May 16, 2017Updated 8 years ago
- ☆13Feb 15, 2026Updated 2 weeks ago
- ☆14Oct 19, 2023Updated 2 years ago