An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university
☆10Oct 9, 2018Updated 7 years ago
Alternatives and similar repositories for kitty-lang
Users that are interested in kitty-lang are comparing it to the libraries listed below
Sorting:
- WIP☆10Apr 11, 2021Updated 4 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 4 months ago
- Système simple, libre, léger et adaptable de quantification et de bilan écologique pour ressourcerie☆18Apr 6, 2023Updated 2 years ago
- Data sets and ML models versioning example from DVC get started☆10Jun 4, 2024Updated last year
- ☆19Oct 23, 2025Updated 4 months ago
- The Exercism Runner: small tool to speed up repetitive mentor reviewing tasks☆10May 19, 2021Updated 4 years ago
- The official NodeJS driver for the Cyton board over Serial.☆16Feb 18, 2019Updated 7 years ago
- The AlgoHUB pyteal course☆11Aug 25, 2023Updated 2 years ago
- ☆13Feb 12, 2026Updated 2 weeks ago
- Creating an NFT collection on Solana!☆14Nov 8, 2024Updated last year
- ☆15Nov 26, 2024Updated last year
- Case study using dotfurther's Open Discover Platform with the RavenDB document store to rapidly create a full-text search/eDiscovery/info…☆12May 28, 2024Updated last year
- Sample code for Raspberry Pi and Pimoroni Enviro pHat, Automation pHat and Automation Hat☆10Jun 24, 2021Updated 4 years ago
- ☆19Dec 4, 2025Updated 2 months ago
- WeLearn Browser Extension☆10Jun 23, 2022Updated 3 years ago
- End to End dCommerce experience built using the Boson Protocol Core Components SDK☆12Feb 18, 2026Updated last week
- ☆18Jul 26, 2022Updated 3 years ago
- Sample code demonstrating how you can use Oracle Cloud Infrastructure serverless components to load data into Oracle Fusion ERP☆12Aug 24, 2023Updated 2 years ago
- Mirror of Proteus☆12Nov 18, 2022Updated 3 years ago
- Empowering everyone to build unreliable and inefficient software.☆14Jun 28, 2025Updated 8 months ago
- My customizations to go with oh-my-zsh☆10Sep 11, 2022Updated 3 years ago
- Easy opaque typedef for Rust programming language.☆12Aug 22, 2019Updated 6 years ago
- SOMACHINE 2021. Machine Learning, Big Data, and Deep Learning in Astronomy. A Severo Ochoa School of the Instituto de Astrofísica de Anda…☆11May 3, 2021Updated 4 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- This is the official Repo of the Generic Insurance Framework (GIF) Core Contracts.☆10Feb 3, 2025Updated last year
- Data partitioning toolbox for tomographic reconstruction☆14Nov 3, 2019Updated 6 years ago
- HERE Tracking Library for C☆12May 16, 2019Updated 6 years ago
- Claude Code configs for the expert Solana builder. CLAUDE.md, agents, commands, hooks, rules, skills and settings across Web, Anchor, Pin…☆29Jan 17, 2026Updated last month
- ☆15Jan 15, 2026Updated last month
- A variable font for digital nostalgics☆16Sep 24, 2022Updated 3 years ago
- A merkle-based token distributor for the Solana network that allows distributing a combination of unlocked and linearly unlocked tokens.☆10Aug 28, 2025Updated 6 months ago
- ☆15May 5, 2025Updated 9 months ago
- ☆11Jul 4, 2022Updated 3 years ago
- A curated list of Seal tools and projects☆18Nov 12, 2025Updated 3 months ago
- Candy : Pan Canadian Indy Blockchain Initiative☆13Jan 21, 2026Updated last month
- ☆10Mar 19, 2019Updated 6 years ago
- Exploring the use of graph networks for visualising relationships between stocks in the London Stock Exchange☆12Feb 24, 2020Updated 6 years ago
- A list where most values will be None (or default)☆10Jul 19, 2023Updated 2 years ago
- A rule-based stream reasoning engine utilizing sliding windows☆10Jun 3, 2022Updated 3 years ago