The compiler for Gera, a satically typed and garbage collected programming language. Currently WIP (Work in progress).
This is a rough outline of the progress made. For further details, feel free to have a look at the Trello board.
About TypedId introduces a single type, aptly named TypedId. This is a generic wrapper any type, often types that you would use as an identifier. Howe
Certain Map A typed map which can make sure item exist. What Problem Does It Solve In Rust, we often use Service abstraction for modular structure des
ArbOS and Mini compiler ArbOS is the "operating system" that runs at Layer 2 on an Arbitrum chain, to manage the chain's operation, maintain security,
Mote NOTE: this following lists the goals for what Mote is supposed to be. It does not promise that any of the features here will be accomplished or a
statix Lints and suggestions for the Nix programming language. statix highlights antipatterns in Nix code. statix --fix can fix several such occurrenc
Zero-Width A turing-complete programming language using only zero-width unicode characters, inspired by brainfuck and whitespace. Currently a (possibl
inuc inuc is a systems programming language that is something between C and Rust. Features : [] Strong , static typing (type inference not a priority
🐱 A high-speed JIT programming language and its runtime, meow~
Cauchemar Cauchemar is a stack-based programming language inspired by FORTH but more arcane. Emulates the look and feel of a programming language from
Orion Orion is a lisp inspired statically typed programming language written in Rust Install To install orion you can either: Download binary from the
Glide A programming language. Currently, this includes: Static typing Generics, with monomorphization Type inference on function calls func identity<T
loterust Primeiro programa em Rust . Um programinha simples que gera números para a Loteria Instalação Certifique-se primeiramente que possui o Rust e
gomicollector gomicollector is a simple mark-sweep garbage collector in Rust. gomicollector collects garbage when the heap is full. Since pointer oper
devilslang has roots in Scheme and ML-flavored languages: it's the culmination of everything I expect from a programming language, including the desire to keep everything as minimalistic and concise as possible. At its core, devilslang is lambda-calculus with pattern-matching, structural types, fiber-based concurrency, and syntactic extension.
rcc The Rust Compiler Collection is a collection of compilers for various languages, written with The Rust Programming Language. Compilers Language Co
pistachio I want to learn about how theorem provers and dependently typed languages are implemented. This is a little repo for experimentation. elabor
Learning Rust I started learning the Rust programming language before using GitHub, but increased its usage afterwards. I have found it to be a fast a
?? Nyah ( Unfinished ) Nyah is a programming language runtime built for high performance and comes with a scripting language. ??️ Status Nyah is not c
lelang leang是一门使用Rust编写，基于LLVM(inkwell llvm safe binding library)实现的编程语言，起初作为课程实验项目，现在为个人长期维护项目。 Target Features 支持8至64位的整形类型和32/64位浮点 基本的函数定义，调用，声明外部
8 Sep 2, 2022
27 Jun 26, 2023
88 Nov 6, 2022
14 Jul 28, 2021
311 Dec 25, 2022
2 Jan 14, 2022
1 Feb 7, 2022
30 Dec 22, 2022
4 Dec 29, 2022
226 Dec 17, 2022
1 Apr 10, 2022
11 Jul 2, 2022
7 Feb 10, 2023
2 Aug 26, 2022
2 Jan 17, 2022
8 Nov 11, 2022
2 Nov 8, 2022
3 Mar 6, 2022
5 Sep 4, 2022