|
TypeScript |
176 |
A library of constraint templates and sample constraints for Constraint Framework tools |
Aug 10, 2022 |
|
Haskell |
84 |
Conjure: The Automated Constraint Modelling Tool |
Mar 14, 2023 |
|
Rust |
6 |
ChocoPy compiler written in Rust |
Aug 18, 2022 |
|
Rust |
3 |
C compiler written in Rust. |
May 13, 2022 |
|
Rust |
3 |
C Compiler written in Rust |
Feb 10, 2023 |
|
Rust |
5 |
C compiler written in Rust |
Jan 31, 2023 |
|
None |
3 |
Chemical table files for constraint-based modelling |
Oct 19, 2023 |
|
CoffeeScript |
49 |
Constraint Cascading Style Sheets compiler |
Nov 27, 2021 |
|
None |
5 |
A C++ compiler written in Rust |
Jun 11, 2020 |
|
Rust |
5 |
A C compiler, written in Rust. |
Jul 10, 2022 |
|
Rust |
2 |
mini C compiler written in Rust. |
May 26, 2022 |
|
TypeScript |
226 |
A TypeScript compiler written in Rust |
Oct 06, 2022 |
|
Rust |
3 |
The tiger compiler written in rust |
Oct 06, 2020 |
|
Rust |
3 |
Simple Forth compiler written in Rust |
Nov 24, 2022 |
|
Brainfuck |
2 |
A brainfuck compiler, written in Rust. |
Jan 28, 2023 |
|
Rust |
2 |
CSS parser/compiler written in Rust |
Jan 28, 2023 |
|
Rust |
14 |
MLIR Rust multi-level compiler framework |
May 08, 2023 |
|
Rust |
2 |
Cr (c-rust) compiler, a simplified C compiler to X86 written in Rust |
Aug 11, 2022 |
|
HTML |
15 |
The website for the MiniZinc constraint modelling system |
Apr 30, 2023 |
|
Rust |
5 |
Compiler for a subset of Rust written in Rust |
Jan 31, 2023 |
|
Rust |
75 |
Constraint programming in Rust |
Apr 29, 2023 |
|
Rust |
4 |
A toy C compiler written in Rust. |
Sep 01, 2020 |
|
Rust |
4 |
A Tiny Markdown Compiler written in Rust |
Mar 08, 2021 |
|
Rust |
34 |
A (toy) C compiler written in Rust. |
Apr 21, 2023 |
|
Rust |
3 |
A compiler for FiM++ written in rust |
Aug 29, 2022 |
|
Go |
136 |
[STALLED] A Go compiler, written in Rust. |
May 07, 2023 |
|
Python |
553 |
RetroWrite -- Retrofitting compiler passes through binary rewriting |
Apr 23, 2023 |
|
Rust |
3 |
rewriting my assembler in Rust. |
May 03, 2023 |
|
None |
2 |
A Solidity to wasm and bpf compiler written in rust |
Jun 18, 2021 |
|
Rust |
2 |
A Solidity to wasm and bpf compiler written in rust |
Mar 07, 2023 |
|
Java |
2 |
Modelling framework |
Feb 09, 2023 |
|
Python |
10 |
CBMPy is a Python based platform for constraint based modelling and analysis. |
May 01, 2023 |
|
Rust |
5 |
Library/Framework written in Rust for making binary formats diffs. |
Jan 27, 2022 |
|
Rust |
2 |
Dead simple markdown compiler, written in Rust 🦀 |
Jun 24, 2021 |
|
Rust |
3 |
Really simple C compiler (RSCC), written in Rust |
Oct 04, 2021 |
|
Rust |
3 |
A simple compiler written in Rust targetting Wasm |
Jan 28, 2023 |
|
Rust |
7 |
[WIP] A toy C compiler written in Rust |
Feb 16, 2023 |
|
Rust |
261 |
A mostly functional haskell compiler written in rust |
May 03, 2023 |
|
Rust |
3 |
A toy compiler written in Rust, using pest |
May 14, 2023 |
|
Rust |
3 |
Constraint based GUI for Rust |
Jul 29, 2020 |
|
Haskell |
26 |
Monadic Constraint Programming framework |
Mar 16, 2023 |
|
Scheme |
3 |
A compiler-definition language based on "context rewriting" |
Mar 30, 2020 |
|
Rust |
2 |
📚 A decaf compiler written in Rust. Project in Principles and Practice of Compiler Construction. |
Jan 30, 2023 |
|
Rust |
23 |
The example SysY compiler Kira for PKU compiler course, written in Rust. |
May 05, 2023 |
|
Rust |
36 |
Bytecode compiler and VM for the Monkeylang language, written in Rust |
May 02, 2022 |
|
Nim |
45 |
Constraint solving library |
Apr 07, 2023 |
|
Rust |
25 |
A web and RPC framework written in Rust. |
Aug 12, 2022 |
|
Haskell |
2 |
A library for rewriting |
Jul 08, 2022 |
|
Rust |
22 |
ARIMA modelling for Rust |
Apr 18, 2023 |
|
Python |
85 |
Loss modelling framework. |
Aug 22, 2022 |