onion-lang / onionView external linksLinks
Onion - statically typed object-oriented programming language
☆28Feb 3, 2026Updated last week
Alternatives and similar repositories for onion
Users that are interested in onion are comparing it to the libraries listed below
Sorting:
- Klassic is A Programming Language which enables Object-Functional Programming☆86Sep 25, 2025Updated 4 months ago
- A DSL for constructing json-like data sturctures☆39Feb 27, 2024Updated last year
- A Tiny Programming Language☆37Jan 24, 2017Updated 9 years ago
- Shiranui is new programming language supports live/test driven programming.☆26Oct 20, 2015Updated 10 years ago
- An attempt to build axiomatic, formal set theory on top of Scala.☆37Dec 15, 2023Updated 2 years ago
- the peachili( Peach + Chili) programming language☆11Feb 2, 2021Updated 5 years ago
- JSON meets Haskell.☆11Oct 22, 2020Updated 5 years ago
- Theorem Proving in Lean 4 日本語訳☆17Jan 11, 2025Updated last year
- Operating and Language processing system☆28Sep 10, 2021Updated 4 years ago
- The Xemime programming language☆13Oct 13, 2020Updated 5 years ago
- Nintendo switch debugger for radare2☆13Aug 12, 2018Updated 7 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 4 years ago
- Toy virtual machine and JIT Engine with JavaScript Like Syntax☆14Feb 19, 2019Updated 6 years ago
- SComb: Simple but Powerful Parser Combinator Library☆18Jun 6, 2025Updated 8 months ago
- cpprefjp の github サイト☆17Updated this week
- c compiler☆16May 21, 2020Updated 5 years ago
- functional programming language and its compiler☆18Oct 22, 2019Updated 6 years ago
- rcaml is an OCaml implementation in Rust☆63Dec 25, 2017Updated 8 years ago
- A Scala library that provides various data structures.☆14May 6, 2019Updated 6 years ago
- Web Framework for Scala.（PoC）☆14Oct 6, 2022Updated 3 years ago
- Eb is a embeddable scripting programming language written in Rust☆18Jun 19, 2021Updated 4 years ago
- asm.js parser in C++☆18Jul 27, 2015Updated 10 years ago
- 指定したMastodon（マストドン）のインスタンスにトゥート！する☆20May 21, 2018Updated 7 years ago
- Statically typed language's interpreter with type inference written in JavaScript☆23May 2, 2011Updated 14 years ago
- Locally mocks Google's BigQuery Java client, useful for testing/CI of Java/Scala applications☆24Mar 14, 2021Updated 4 years ago
- mini C compiler / interpreter for VM in 512 lines C program☆46Jan 5, 2024Updated 2 years ago
- Self-hosting F#-subset compiler☆48Feb 11, 2025Updated last year
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Jul 3, 2019Updated 6 years ago
- A functional query language, implemented in Rust☆37Nov 15, 2025Updated 2 months 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…☆119Mar 27, 2023Updated 2 years ago
- Expression-oriented toy programming language written in Rust☆19Mar 18, 2019Updated 6 years ago
- Static facades for using NumPy in ScalaPy☆24May 21, 2020Updated 5 years ago
- Prototype Scala -> GLSL translation, including scaffolding to run + test☆21May 14, 2020Updated 5 years ago
- [WIP] Faster Implementation of Dialyzer☆56Apr 4, 2024Updated last year
- nv is a programming language supports non-volatile variable and flexible grammar.☆24Aug 9, 2021Updated 4 years ago
- self-hosted compiler for a subset of OCaml☆51Jun 12, 2019Updated 6 years ago
- An ML-like statically-typed Erlang☆157Oct 6, 2023Updated 2 years ago
- UEFIで起動してX86-64アーキテクチャで動作するCP/MライクなOSです☆19Apr 30, 2022Updated 3 years ago
- アスキードワンゴで出版予定の構文解析本に関するリポジトリ☆125Dec 3, 2025Updated 2 months ago