caraml-lang / compilerLinks
🍬 tiny OCaml compiler and PSan targeting to WebAssembly
☆10Updated last year
Alternatives and similar repositories for compiler
Users that are interested in compiler are comparing it to the libraries listed below
Sorting:
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆16Updated 2 months ago
- A bibliography framework for SATySFi.☆23Updated 3 years ago
- Formatter for SATySFi☆17Updated 7 months ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 5 years ago
- ☆45Updated 3 years ago
- Yet another ActivityPub server implementation written in OCaml☆49Updated last month
- ☆11Updated 3 years ago
- ☆30Updated 2 years ago
- A programming language☆70Updated 2 years ago
- A9N is a Capability-based Microkernel / Microhypervisor in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced …☆52Updated last week
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Updated last year
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆55Updated last month
- Coqで様々な数学の定理を証明☆18Updated 3 years ago
- ☆15Updated 2 years ago
- Package manager for SATySFi☆48Updated 2 years ago
- A toy C compiler written in Rust that emits RISC-V assembly.☆31Updated 5 months ago
- SATySFi Support for VSCode☆20Updated 2 months ago
- Programming language implementation for learning purposes☆16Updated 6 months ago
- Are you SATySFi-ed with Nix?☆14Updated 2 years ago
- Algebraic effects and handlers for TypeScript☆24Updated 5 months ago
- Docker images for SATySFi and Satyrographos☆26Updated last month
- ☆17Updated 2 years ago
- A Programming Language implemented in JavaScript☆18Updated last year
- A programming language (WIP)☆29Updated last year
- @Ryoga-exe への連絡にお使いください☆17Updated 2 years ago
- A programming language written in an "easy to understand" way☆35Updated 8 months ago
- 肺です☆21Updated 2 years ago
- Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」☆28Updated last year
- A programming language for double-entry accounting, inspired by Beancount.☆21Updated 5 months ago
- a small self-hosting C compiler.☆15Updated 2 years ago