momeemt / wascamlLinks
🌲 tiny OCaml compiler and PSan targeting to WebAssembly
☆10Updated last year
Alternatives and similar repositories for wascaml
Users that are interested in wascaml are comparing it to the libraries listed below
Sorting:
- A bibliography framework for SATySFi.☆23Updated 2 years ago
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆53Updated 7 months ago
- Formatter for SATySFi☆17Updated 5 months ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.☆49Updated 2 months ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Updated 10 months ago
- A programming language☆70Updated last year
- Yet another ActivityPub server implementation written in OCaml☆48Updated 2 months ago
- SATySFi Support for VSCode☆20Updated last week
- Coqで様々な数学の定理を証明☆18Updated 3 years ago
- ☆45Updated 3 years ago
- ☆15Updated last year
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆13Updated this week
- @Ryoga-exe への連絡にお使いください☆17Updated 2 years ago
- Package manager for SATySFi☆48Updated 2 years ago
- A SATySFi package to build simple tables.☆17Updated 3 years ago
- Docker images for SATySFi and Satyrographos☆26Updated 3 months ago
- ☆30Updated 2 years ago
- ☆11Updated 3 years ago
- A toy C compiler written in Rust that emits RISC-V assembly.☆31Updated 3 months ago
- 🐦⬛ A bracket-based lightweight markup language that extends commands with WebAssembly☆73Updated 3 weeks ago
- A Programming Language implemented in JavaScript☆18Updated last year
- Programming language implementation for learning purposes☆16Updated 3 months ago
- Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」☆28Updated last year
- O(N log N)-space IPC solver in OCaml☆53Updated 2 years ago
- Algebraic effects and handlers for TypeScript☆24Updated 3 months ago
- ☆17Updated 2 years ago
- 進捗大陸で使用されたSATySFiファイル☆12Updated 2 years ago
- Expression-oriented toy programming language written in Rust☆19Updated 6 years ago
- A programming language for double-entry accounting, inspired by Beancount.☆21Updated 3 months ago