Programming Language maxc
☆37Oct 8, 2021Updated 5 years ago
Alternatives and similar repositories for maxc
Users that are interested in maxc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Nintendo Entertainment System emulator☆20Aug 21, 2020Updated 6 years ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- The Depth programming language☆25Dec 31, 2019Updated 6 years ago
- About Me☆11Oct 2, 2026Updated 3 weeks ago
- functional programming language and its compiler☆18Oct 22, 2019Updated 7 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.
- Semzhu-Visor; a small embedded hypervisor on AArch64 on qemu☆10Apr 9, 2019Updated 7 years ago
- Structurally-typed strict functional core language☆19Oct 19, 2026Updated 2 weeks ago
- ☆11Apr 18, 2024Updated 2 years ago
- A toy hypervisor.☆25Feb 17, 2023Updated 3 years ago
- self-hosted compiler for a subset of OCaml☆52Jun 12, 2019Updated 7 years ago
- Hindley-Milner Type Inference☆12Dec 29, 2019Updated 6 years ago
- Ansible playbooks for ISUCON9 quals☆10Sep 8, 2019Updated 7 years ago
- 🍋 A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques i…☆11Mar 2, 2021Updated 5 years ago
- kaprino is a new programming language which lies great emphasis on the correctness of the result of programs.☆11Jan 1, 2023Updated 3 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.
- the peachili( Peach + Chili) programming language☆11Feb 2, 2021Updated 5 years ago
- A mini language used for the Rabs build system and within Wrapl.☆33Oct 3, 2026Updated 3 weeks ago
- c compiler☆16May 21, 2020Updated 6 years ago
- Hugin. The type-1 hypervisor on aarch64.☆13Oct 13, 2025Updated last year
- The Drift Script Programming Language☆11Jan 24, 2023Updated 3 years ago
- aarch64 thin hypervisor for resource aggregation☆38Apr 7, 2025Updated last year
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 5 years ago
- A programmable programming language☆23Updated this week
- An operating system written in Rust☆56Oct 12, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A programming language.☆13Aug 4, 2025Updated last year
- The Stone programming language - OOP, immutable, functional, typed, actors☆10Aug 5, 2026Updated 2 months ago
- Expression-oriented toy programming language written in Rust☆19Mar 18, 2019Updated 7 years ago
- ☆11Updated this week
- pMath is a programming language similar in spirit to Mathematica (symbolic manipulation & pattern matching) which wants to be a full Comp…☆10Oct 18, 2026Updated 2 weeks ago
- A dynamic programming language designed to feel familiar and be fun to use, written in Rust☆11Sep 10, 2022Updated 4 years ago
- A modest systems programming language for Unix-like platforms☆31Aug 7, 2026Updated 2 months ago
- Functional visual programming language with FRP for multimedia☆35Oct 9, 2025Updated last year
- A module to make the /dev/twitter☆75Mar 29, 2020Updated 6 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.
- decred/atomicswap rewrite by Python3 and add gui by PyQt5☆16Dec 8, 2022Updated 3 years ago
- Gox is a free, open-source script language or a interpreter written by Golang. Gox provides a modern GUI programming ability, and it's c…☆26Aug 22, 2026Updated 2 months ago
- A programming language☆70Nov 27, 2023Updated 2 years ago
- An experimental programming language for ergonomic software verification☆16Sep 28, 2026Updated last month
- The Stroscot Programming Language☆13Aug 22, 2026Updated 2 months ago
- A polymorphism object-oriented programming language☆24May 5, 2020Updated 6 years ago
- Rust-like language compiling directly to WebAssembly☆15Sep 14, 2025Updated last year