DaimyoHub/MiniRust

It is a school project. I partially implemented a borrow checker and a backend generating C code for a subset of Rust. The borrow checker does not perfectly work and the backend is quite naive.

Language: OCaml - Size: 285 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

DaimyoHub/Semverif

A toy C static analyzer for a school project

Language: OCaml - Size: 55.7 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

DaimyoHub/DaimyoHub

Size: 7.81 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 0

DaimyoHub/Project_0

A game for a school project.

Language: OCaml - Size: 32 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

DaimyoHub/hina-blog

My own website, about what I like and what I do.

Language: HTML - Size: 2.15 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

DaimyoHub/KawaLang

Language: OCaml - Size: 17 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

DaimyoHub/processor-proto

A basic processor meant to execute programs written in a custom ASM architecture.

Language: C++ - Size: 135 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

DaimyoHub/untyped-lambda-calculus

A simple untyped lambda-calculus interpreter prototype.

Language: OCaml - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

DaimyoHub/arith_eval

A simple arithmetical expression interpreter.

Language: OCaml - Size: 0 Bytes - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

DaimyoHub/sat-problem-solver

A simple k-SAT problem solver.

Language: OCaml - Size: 2.53 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

DaimyoHub/virtual-machine-proto

A very basic virtual machine

Language: C++ - Size: 132 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

DaimyoHub/asm-compiler-proto

Ouais.

Language: C++ - Size: 13.7 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0