kaprino-lang / kaprinoLinks
kaprino is a new programming language which lies great emphasis on the correctness of the result of programs.
☆11Updated 2 years ago
Alternatives and similar repositories for kaprino
Users that are interested in kaprino are comparing it to the libraries listed below
Sorting:
- a statically-typed programming language with powerful syntax☆31Updated 6 years ago
- self-hosted compiler for a subset of OCaml☆51Updated 6 years ago
- A statically typed functional programming language.☆45Updated this week
- Mini-Programmable Configuration Language☆17Updated 11 months ago
- Lit is a programming language designed fast & light weight with LLVM☆26Updated 8 years ago
- Multi-core suitable Forth-like language☆36Updated 4 months ago
- optimizing compiler for a subset of C language☆35Updated 5 years ago
- the peachili( Peach + Chili) programming language☆11Updated 4 years ago
- A programming language for one-liner method chain lovers!☆23Updated last year
- Programming Language maxc☆37Updated 3 years ago
- The functional programming language for scalable development☆34Updated 7 months ago
- Simple C compiler developed by @ShinyaKato☆43Updated 5 years ago
- C compiler + hikalium☆34Updated 4 years ago
- A programming language☆70Updated last year
- Structurally-typed strict functional core language☆19Updated 8 months ago
- Eb is a embeddable scripting programming language written in Rust☆18Updated 4 years ago
- The Palan programming language☆17Updated 2 years ago
- 自作言語処理系のコンパイラ制作☆43Updated 6 years ago
- A C-like language designed to help write brainf*ck☆14Updated 5 years ago
- C++11TMP compile time C compiler☆27Updated 7 years ago
- OCaml visual programming editor based on Blockly.☆64Updated 6 years ago
- The C3, SMT/SAT solver written in C.☆34Updated this week
- A programming language (WIP)☆29Updated last year
- Expression-oriented toy programming language written in Rust☆19Updated 6 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated 5 months ago
- ☆24Updated 2 years ago
- Pure Rust Lua implementation☆39Updated 3 months ago
- A Tiny Programming Language☆36Updated 8 years ago
- Generic programming language and environment written in TypeScript.☆10Updated 2 years ago
- 多重ディスパッチをベースとする静的型付け関数型プログラミング言語☆24Updated 5 years ago