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
โ15Jan 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple term-rewriting interpreter that displays intermediate expressions.โ14Jun 2, 2025Updated 11 months ago
- ๐ไธ็ง่ฟ่กๅจ JVM ไธ็้ๆ็ฑปๅใๅผบ็ฑปๅ็ผ็จ่ฏญ่จ๏ผๅผบๅคงใ็ตๆดปใๅฎๅ จใ็ฎๅใ๐A programming language running on JVM. Powerful, Flexible, Safe and Simple.โ11Mar 8, 2020Updated 6 years ago
- Multiple Dispatch in Rustโ21Sep 12, 2019Updated 6 years ago
- Complete stack for a personnal mail system including SMTP receiver, sender, webmail, mailing list, ...โ12May 5, 2019Updated 7 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-tyโฆโ27Jun 18, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient โข AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ๐ Better Haskell documentation.โ17Sep 11, 2020Updated 5 years ago
- Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.โ12Dec 16, 2022Updated 3 years ago
- https://12k.techโ12Sep 6, 2020Updated 5 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.โ22Sep 9, 2018Updated 7 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning toolsโ32Oct 3, 2025Updated 7 months ago
- Fork of Roberto Saccon's ErlyJsโ12May 2, 2013Updated 13 years ago
- C Compiler written in WASIโ11Jun 14, 2020Updated 5 years ago
- Safely running potentially non-terminating functions in Elm.โ10Apr 20, 2021Updated 5 years ago
- A fullstack "framework" for Gleamโ13Feb 13, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient โข AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A WIP compiler for a functional language. Very incomplete!โ16Nov 6, 2021Updated 4 years ago
- a curated list of package managers for most languages/systems!โ23Nov 21, 2023Updated 2 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"โ49Dec 16, 2024Updated last year
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)โ35Oct 22, 2024Updated last year
- The most simplest and super efficient command line tools, distributed in solely one file.โ10Nov 2, 2022Updated 3 years ago
- A curated list of PureScript packages for the Erlang backendโ10Jun 29, 2022Updated 3 years ago
- Lilith is an open-source programming language written in C.โ12Apr 26, 2026Updated last week
- Repo of James Molloy OS Tutorialโ10Dec 15, 2018Updated 7 years ago
- Twinspark example app in Flaskโ13Mar 13, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient โข AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Lair of the Dragonโ13Feb 18, 2019Updated 7 years ago
- โ11Feb 4, 2023Updated 3 years ago
- โ17Jan 18, 2023Updated 3 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prologโ13Oct 2, 2021Updated 4 years ago
- Phoshell: a Forth inspired, extremely lightweight, stack machine shell, implementable in _ALL_ known programming languages.โ10Nov 21, 2020Updated 5 years ago
- Wolfram LibraryLink interface for Rust [Deprecated]โ10Mar 8, 2024Updated 2 years ago
- Explore and analyze biological sequence dataโ17Aug 1, 2024Updated last year
- exerlโ16Feb 12, 2025Updated last year
- SpawnFest 2021 - ๐ชโ11Sep 19, 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.
- The Erlang/OTP PR CDNโ13Feb 17, 2025Updated last year
- A test runner for Gleam and Erlang.โ13Feb 1, 2021Updated 5 years ago
- โ14Dec 26, 2024Updated last year
- Higher level WASM library for Rustโ10Dec 11, 2024Updated last year
- Algebraic Subtyping typechecking algorithms implemented in Erlangโ10Oct 13, 2021Updated 4 years ago
- Admin dashboardโ12Jun 7, 2021Updated 4 years ago
- super small shoot 'em upโ10Apr 25, 2020Updated 6 years ago