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
- Tourmaline is a AOT programming language with LLVM☆12Updated 8 years ago
- Programming Language maxc☆37Updated 4 years ago
- Mini-Programmable Configuration Language☆17Updated last year
- the peachili( Peach + Chili) programming language☆11Updated 4 years ago
- self-hosted compiler for a subset of OCaml☆51Updated 6 years ago
- Lit is a programming language designed fast & light weight with LLVM☆26Updated 8 years ago
- A Tiny Programming Language☆37Updated 8 years ago
- Udon C Compiler: C compiler for our original CPU☆85Updated 9 years ago
- optimizing compiler for a subset of C language☆35Updated 6 years ago
- Simple C compiler developed by @ShinyaKato☆43Updated 6 years ago
- Multi-core suitable Forth-like language☆37Updated 8 months ago
- The functional programming language for scalable development☆35Updated 10 months ago
- A statically typed functional programming language.☆45Updated last week
- C compiler + hikalium☆34Updated 5 years ago
- Generic programming language and environment written in TypeScript.☆10Updated 2 years ago
- Statically typed system programming language for 文鳥☆94Updated 4 years ago
- functional programming language and its compiler☆18Updated 6 years ago
- The Depth programming language☆26Updated 5 years ago
- 自作言語処理系のコンパイラ制作☆43Updated 6 years ago
- ECMA-335 Implementation written in Rust☆60Updated 3 years ago
- Eb is a embeddable scripting programming language written in Rust☆18Updated 4 years ago
- A programming language☆70Updated last year
- rcaml is an OCaml implementation in Rust☆63Updated 7 years ago
- (wip) re-implementation xv6 in rust☆16Updated 6 years ago
- Type inference in OCaml☆40Updated 10 years ago
- The Palan programming language☆17Updated 2 years ago
- OCaml visual programming editor based on Blockly.☆66Updated 6 years ago
- C++ Compiler☆21Updated 3 years ago
- Hindley-Milner Type Inference☆12Updated 5 years ago