A simple miniature Compiler
☆28May 5, 2025Updated last year
Alternatives and similar repositories for CuriousX
Users that are interested in CuriousX are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Data structures for ASTs☆14Dec 6, 2022Updated 3 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- tiny compressor☆15Nov 29, 2023Updated 2 years ago
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Distributed map reduce framework for logical backup and restores for disaster recovery featuring concurrent-safe table operations.☆17Mar 6, 2023Updated 3 years ago
- Ashura is a 2D & 3D Engine for use in High-performance GUI applications and games☆50May 24, 2026Updated last month
- Code examples that can be compiled to WebAssembly for use with Enarx☆24Aug 27, 2024Updated last year
- ☆14Nov 23, 2024Updated last year
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- ☆15May 26, 2026Updated last month
- key point identification in a 3D video that can later be used for ergonomics analysis☆15Nov 22, 2024Updated last year
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- LINQ-like combinators for manipulating collections of in-memory data☆16Sep 21, 2020Updated 5 years ago
- WebAssembly specification, reference interpreter, and test suite.☆13Aug 31, 2023Updated 2 years ago
- This is an Android app for searching and filtering all the relevant information on characters / locations / episodes from the universe of…☆10Jan 28, 2022Updated 4 years ago
- An LR(1) parser generator, implemented as a proc macro☆16Apr 21, 2023Updated 3 years ago
- Higher kinded polymorphism in SML☆15Sep 2, 2020Updated 5 years ago
- Building Emulators inF#☆11Dec 23, 2020Updated 5 years ago
- Miscellaneous Racket utilities lacking a better home☆15Mar 13, 2026Updated 3 months ago
- ☆12Dec 8, 2022Updated 3 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆17Apr 4, 2024Updated 2 years ago
- A bot to automatically buy crypto periodically using Quidax API 🤖 💰☆19Mar 7, 2023Updated 3 years ago
- A command-line text editor in OCaml.☆13Apr 26, 2025Updated last year
- A discouraging story.☆18May 8, 2018Updated 8 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆17Jun 3, 2026Updated last month
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Feb 15, 2019Updated 7 years ago
- An experimental library for adding attributes to threads (without rewriting the whole thread interface), for C11 and similar.☆18Nov 17, 2025Updated 7 months ago
- A splay tree implementation.☆13May 18, 2026Updated last month
- A very little language☆16Jul 1, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- a game of thrones trivia built with vue.js and pure css☆11Jan 3, 2023Updated 3 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 5 months ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39May 21, 2018Updated 8 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 6 years ago
- 😱 dead fast thumbnail library for browser and NodeJs! Built with Rust 🦀 and WebAssembly 🕸☆19Jan 7, 2024Updated 2 years ago
- 🔍Better search for iMessages on MacOS.☆17Sep 24, 2019Updated 6 years ago
- Sample repository to demonstrate usage of GitHub Actions CI's workflow dispatch to automate publishing of a library to Maven Central☆17Jan 21, 2022Updated 4 years ago