RiscInside/LanguageEtudes RiscInside/LanguageEtudes

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    OCaml
  • Created 10 months ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
RiscInside/LanguageEtudes
github

RiscInside

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Components of programming languages, all implemented in self-contained files

More Repositories

1

lang2

Lang was so good they made lang2
Rust
9
star
2

theo

Probably worse than javascript
Haskell
6
star
3

WACC-to-C

WACC to C transpiler
C
4
star
4

ProofVerifier

Simple verification tool for proofs in propositional calculus (first order logic support on standby) written in Haskell
Haskell
3
star
5

bootstrap-snapfuzz

Scripts for building snapfuzz
Shell
1
star