Onion - statically typed object-oriented programming language
☆29Feb 20, 2026Updated last month
Alternatives and similar repositories for onion
Users that are interested in onion 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 DSL for constructing json-like data sturctures☆39Feb 27, 2024Updated 2 years ago
- Klassic is A Programming Language which enables Object-Functional Programming☆87Sep 25, 2025Updated 6 months ago
- A Tiny Programming Language☆37Jan 24, 2017Updated 9 years ago
- SoftwareFoundations(Ja)☆70Oct 5, 2019Updated 6 years ago
- A Simple Relational Database implemented in Golang☆16Nov 4, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- the peachili( Peach + Chili) programming language☆11Feb 2, 2021Updated 5 years ago
- c compiler☆16May 21, 2020Updated 5 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- Shiranui is new programming language supports live/test driven programming.☆26Oct 20, 2015Updated 10 years ago
- SComb: Simple but Powerful Parser Combinator Library☆18Jun 6, 2025Updated 9 months ago
- WaPENの文法をPythonっぽくしたもの☆14Mar 17, 2026Updated last week
- functional programming language and its compiler☆18Oct 22, 2019Updated 6 years ago
- Nintendo switch debugger for radare2☆13Aug 12, 2018Updated 7 years ago
- rcaml is an OCaml implementation in Rust☆63Dec 25, 2017Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An attempt to build axiomatic, formal set theory on top of Scala.☆37Dec 15, 2023Updated 2 years ago
- A Scala library that provides various data structures.☆14May 6, 2019Updated 6 years ago
- Self-hosting F#-subset compiler☆48Feb 11, 2025Updated last year
- Theorem Proving in Lean 4 日本語訳☆17Jan 11, 2025Updated last year
- mini C compiler / interpreter for VM in 512 lines C program☆46Jan 5, 2024Updated 2 years ago
- A statically typed functional programming language.☆46Updated this week
- Expression-oriented toy programming language written in Rust☆19Mar 18, 2019Updated 7 years ago
- JSON meets Haskell.☆11Oct 22, 2020Updated 5 years ago
- Static facades for using NumPy in ScalaPy☆24May 21, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- x86 emulator by Golang☆13Jun 29, 2017Updated 8 years ago
- Fast time library☆20Jul 1, 2025Updated 8 months ago
- optimizing compiler for a subset of C language☆35Oct 7, 2019Updated 6 years ago
- Prototype Scala -> GLSL translation, including scaffolding to run + test☆21May 14, 2020Updated 5 years ago
- An ML-like statically-typed Erlang☆157Oct 6, 2023Updated 2 years ago
- Clover2 can be used as shell. The completion is powerfull like IDE. Also clover2 is a Ruby-like compiler language with static type like J…☆118Mar 27, 2023Updated 3 years ago
- The Xemime programming language☆13Oct 13, 2020Updated 5 years ago
- Twitter's Effective Scala Guide（日本語訳）☆19Feb 23, 2014Updated 12 years ago
- Eb is a embeddable scripting programming language written in Rust☆18Jun 19, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Simple background process manager for Unix systems☆146Dec 26, 2025Updated 3 months ago
- Locally mocks Google's BigQuery Java client, useful for testing/CI of Java/Scala applications☆24Mar 14, 2021Updated 5 years ago
- Vanilla JavaScript interpreter with built-in NO-SQL document database with Btree & ARTful indexing from the database project.☆13Apr 18, 2020Updated 5 years ago
- a brief note on extendable and injectable syntax☆21Mar 30, 2016Updated 9 years ago
- Cyanurus is a Unix-like operating system for ARMv7-A☆48Nov 28, 2016Updated 9 years ago
- PackCC is a packrat parser generator for C.☆26May 3, 2019Updated 6 years ago
- Slides from my Wellington FP Users Group presentation on Yesod☆15May 14, 2011Updated 14 years ago