An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university
☆10Oct 9, 2018Updated 8 years ago
Alternatives and similar repositories for kitty-lang
Users that are interested in kitty-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- eTextile-Synthesizer☆15Jul 1, 2026Updated 3 months ago
- FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml☆16Feb 27, 2024Updated 2 years ago
- Library for Real Time Desktop Graphics☆15Updated this week
- WIP☆10Apr 11, 2021Updated 5 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 11 months ago
- 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.
- Premake5 module to generate Code::Blocks projects.☆12Feb 21, 2025Updated last year
- Système simple, libre, léger et adaptable de quantification et de bilan écologique pour ressourcerie☆18Aug 28, 2026Updated 2 months ago
- Arena Digitalis is a granular sound processor based on the Arduino Nano R4☆27Apr 20, 2026Updated 6 months ago
- XmdvTool is an interactive data visualization toolkit for data anlytics☆12Sep 24, 2021Updated 5 years ago
- Documents publics de l'association Zeste de Savoir☆10Jan 21, 2026Updated 9 months ago
- A simple example for a Rust compiler plugin☆11Aug 8, 2016Updated 10 years ago
- A tool to synchronize an RRDP and/or Rsync server with a "hidden" remote RFC 8182 RRDP publication point.☆16Oct 5, 2026Updated 3 weeks ago
- Unicode UTF-8 <-> Unicode UTF-16 Conversion Utility Functions for Windows C++ Code☆16Oct 21, 2022Updated 4 years ago
- A simple compiler for a simple imperative language, written in OCaml☆26Jan 31, 2019Updated 7 years ago
- 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.
- Mutation testing for Rust☆13Jun 20, 2016Updated 10 years ago
- The Exercism Runner: small tool to speed up repetitive mentor reviewing tasks☆10May 19, 2021Updated 5 years ago
- ☆22Jul 2, 2021Updated 5 years ago
- Experimental library using modular implicits☆17Sep 25, 2023Updated 3 years ago
- Ocaml-solidity provides a Solidity parser and typechecker☆34Sep 12, 2023Updated 3 years ago
- Project to use OpenAPI generators to build code from 5GC_API☆14Feb 15, 2023Updated 3 years ago
- ☆14May 8, 2026Updated 5 months ago
- XDAT - A free parallel coordinates software.☆17Aug 29, 2025Updated last year
- [SUPERSEDED] by https://github.com/japaric/cargo-sysroot☆13Feb 6, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Playground for Rust graphic programs compiled to JavaScript☆12May 18, 2017Updated 9 years ago
- A variable font for digital nostalgics☆18Sep 24, 2022Updated 4 years ago
- Elixir implementation of Cucumber to facilitate BDD using feature files.☆12Nov 27, 2022Updated 3 years ago
- Simplification de la demande de bourse☆10Oct 18, 2018Updated 8 years ago
- A place to spread the Bread Book!☆14May 5, 2019Updated 7 years ago
- An experiment with Rust and Emscripten.☆20Jul 27, 2014Updated 12 years ago
- 5G (5GS) and 4G LTE (EPS) NAS messages in Rust (3GPP TS 24.501 and TS 24.301, Release 19): decode, build, validate and encode every messa…☆20Updated this week
- Exercism's blog content☆20Sep 22, 2026Updated last month
- The fluid part for your engine☆17Aug 4, 2015Updated 11 years ago
- 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.
- ☆11Jul 4, 2022Updated 4 years ago
- Jeu de stratégie spatial en ligne multi-joueur.☆22Feb 13, 2022Updated 4 years ago
- ☆20Dec 1, 2021Updated 4 years ago
- Experiments with Rust and Emscripten☆19Feb 7, 2016Updated 10 years ago
- allows you to run multiple cargo commands in a row☆19Jul 14, 2017Updated 9 years ago
- A little music player in rust with rsfml and rfmod☆25May 2, 2018Updated 8 years ago
- Squey is an open-source cross-platform visualization software designed to interactively explore and understand large amounts of tabular d…☆41Oct 23, 2026Updated last week