The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax
☆14Jan 18, 2020Updated 6 years ago
Alternatives and similar repositories for proud
Users that are interested in proud are comparing it to the libraries listed below
Sorting:
- Complete stack for a personnal mail system including SMTP receiver, sender, webmail, mailing list, ...☆12May 5, 2019Updated 6 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated 9 months ago
- A library for garbage collection in Rust.☆13Apr 23, 2021Updated 4 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Sep 9, 2018Updated 7 years ago
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 5 years ago
- Rust IP Stack - A userspace IP stack written in Rust (Work in progress)☆25May 17, 2018Updated 7 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Jun 2, 2020Updated 5 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆35Oct 22, 2024Updated last year
- Read and save MSFS aircraft state and apply to next flight☆10Nov 11, 2025Updated 3 months ago
- Educational clone of the popular mobile game Stack☆35May 29, 2018Updated 7 years ago
- An extensible component for detecting cosmetic contact lenses in iris imagery.☆10Jun 25, 2025Updated 8 months ago
- 3600 frames of point cloud skeleton data☆15Nov 15, 2024Updated last year
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Common plugin suite for the ufo-core processing framework☆10Feb 6, 2026Updated last month
- The modified bcmon from google code☆11Aug 23, 2022Updated 3 years ago
- ☆12Mar 26, 2020Updated 5 years ago
- Keras 1D Depthwise Convolutional layer☆10May 22, 2020Updated 5 years ago
- Assignments for the cryptography engineering course☆12Dec 17, 2013Updated 12 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Jun 11, 2022Updated 3 years ago
- Command line-based python virtualbox bindings.☆14May 25, 2014Updated 11 years ago
- ☆13Dec 11, 2025Updated 2 months ago
- Programming an arduino robot in Rust☆10Mar 16, 2021Updated 4 years ago
- Reusable slice of references☆11Dec 18, 2025Updated 2 months ago
- A parser for the radiotap capture format☆12Jun 3, 2024Updated last year
- MXNet-Gluon model to Caffe (support SSD in gluoncv)☆10Jun 20, 2019Updated 6 years ago
- ⚓ A very simple journal keeping cli tool☆12Jun 2, 2020Updated 5 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- JWT Auth toolkit for Starlite☆12Nov 29, 2022Updated 3 years ago
- ☆11Feb 19, 2026Updated 2 weeks ago
- https://12k.tech☆12Sep 6, 2020Updated 5 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- DHCP proxy for Netavark☆11Jun 12, 2023Updated 2 years ago
- A benchmark of Rust compression libraries☆10Nov 19, 2020Updated 5 years ago
- For loops in const☆13Sep 7, 2024Updated last year
- This work corroborates a run-time Trojan detection method exploiting STRong Intentional Perturbation of inputs, is a multi-domain Trojan …☆10Mar 7, 2021Updated 4 years ago
- Chinese word segmentation Telegram bot☆12Jul 12, 2020Updated 5 years ago
- S/PDIF receiver with support of compressed formats☆10Dec 8, 2024Updated last year
- Library to read Murchison Widefield Array (MWA) raw visibilities, voltages and metadata into a common structure☆12Feb 17, 2026Updated 2 weeks ago
- An async rpc implementation based on tokio and compatible with OCaml Async_rpc☆11Feb 13, 2023Updated 3 years ago