Statically typed system programming language for 文鳥
☆94Feb 22, 2021Updated 5 years ago
Alternatives and similar repositories for rill
Users that are interested in rill are comparing it to the libraries listed below
Sorting:
- Japanese translation of the DLang Tour☆15Apr 1, 2024Updated last year
- the peachili( Peach + Chili) programming language☆11Feb 2, 2021Updated 5 years ago
- ChickenClisp is a Scheme like language and interpreter. An Implementation of Orelang in D☆16Oct 3, 2023Updated 2 years ago
- Toy virtual machine and JIT Engine with JavaScript Like Syntax☆14Feb 19, 2019Updated 7 years ago
- Dachs; A Doggy Programming Language☆92Sep 14, 2019Updated 6 years ago
- functional programming language and its compiler☆18Oct 22, 2019Updated 6 years ago
- C compiler + hikalium☆34Oct 24, 2020Updated 5 years ago
- Open source library for creative coding in D programming language.☆46Feb 10, 2019Updated 7 years ago
- Mokkosuはインタラクティブなコンテンツを手軽に作成可能な関数型プログラミング言語です。☆27May 12, 2020Updated 5 years ago
- GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)☆11Dec 3, 2021Updated 4 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 7 years ago
- An UNIX-like toy operating system runs on x86 CPU☆58Aug 15, 2020Updated 5 years ago
- Source review support tool☆14Feb 11, 2026Updated 2 weeks ago
- 目的から処理を逆引きするためのコード集です☆21Mar 6, 2025Updated 11 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
- nv is a programming language supports non-volatile variable and flexible grammar.☆24Aug 9, 2021Updated 4 years ago
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Aug 27, 2019Updated 6 years ago
- Programs for checking the ρ property☆17Feb 28, 2021Updated 5 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 4 years ago
- self-hosted compiler for a subset of OCaml☆51Jun 12, 2019Updated 6 years ago
- Armv8 A64 Assembly & Intrinsics Guide Server☆26Jul 8, 2023Updated 2 years ago
- 日本D言語ユーザーグループ☆25Mar 10, 2023Updated 2 years ago
- A min-caml port to Rust☆26Feb 8, 2025Updated last year
- A Prolog implementation in D language☆25Jan 11, 2021Updated 5 years ago
- Docker images for SATySFi and Satyrographos☆26Dec 11, 2025Updated 2 months ago
- Reactive Extensions for D Programming Language☆53Apr 1, 2023Updated 2 years ago
- Awesomium wrapper and WebView GUI library for D programming language.☆18Jan 1, 2016Updated 10 years ago
- A C-like language designed to help write brainf*ck☆14Aug 29, 2019Updated 6 years ago
- Backport new syntax to older compilers☆14Dec 9, 2019Updated 6 years ago
- Nazo ML - my toy programming language☆59Aug 11, 2020Updated 5 years ago
- ☆15Apr 8, 2017Updated 8 years ago
- Verification Framework for Actor Systems on Coq☆29Jul 2, 2018Updated 7 years ago
- A Hobby implementation of ML☆16Dec 19, 2015Updated 10 years ago
- rcaml is an OCaml implementation in Rust☆63Dec 25, 2017Updated 8 years ago
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago
- Lit is a programming language designed fast & light weight with LLVM☆26Mar 15, 2017Updated 8 years ago
- Self-hosting F#-subset compiler☆48Feb 11, 2025Updated last year
- ☆19Jan 29, 2019Updated 7 years ago