Starred repositories
Blender script plugin to export models into Nintendo DS Binary CallLists
A Material 3 YouTube Music client for Android
Stream your PC games to your Nintendo Switch without Android!
A Coq plugin providing an extensible tactic similar to first.
An OCaml implementation of the Processing library
The main firmware for the Crazyflie Nano Quadcopter, Crazyflie Bolt Quadcopter and Roadrunner Positioning Tag.
An OCaml generic virtual machine for microcontrollers
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
An Emacs framework for the stubborn martian hacker
A Coiteration-based Executable Synchronous Semantics.
A statically typed lisp, without a GC, for real-time applications.
The Ott tool for writing definitions of programming languages and calculi
The p5.js Editor is a website for creating p5.js sketches, with a focus on making coding accessible and inclusive for artists, designers, educators, beginners, and anyone else! You can create, shar…
An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university
The core OCaml system: compilers, runtime system, base libraries
Experience the next step in tabletop RPGs
The unofficial GitHub Cards. Card for your GitHub profile, card for your GitHub repositories.
A curated list of awesome Hacktoberfest 2023 repositories, guides and resources
Liquid Crystal Library for Arduino
FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
Markdown Presentations for Tech Conferences, Training, Developer Advocates, and Educators.
A markdown parser and compiler. Built for speed.
The best way to write secure and reliable applications. Write nothing; deploy nowhere.
Archive of the Coding Train website (first version)