mitsuchi / ronLinks
小さい計算体系をシンプルに定義できるような言語をつくりたい
☆16Updated 2 months ago
Alternatives and similar repositories for ron
Users that are interested in ron are comparing it to the libraries listed below
Sorting:
- A programming language (WIP)☆29Updated last year
- ☆46Updated 3 years ago
- A programming language☆70Updated 2 years ago
- Mini-Programmable Configuration Language☆17Updated last year
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 5 years ago
- functional programming language and its compiler☆18Updated 6 years ago
- A statically typed functional programming language.☆46Updated 2 weeks ago
- ☆45Updated 3 years ago
- Eb is a embeddable scripting programming language written in Rust☆18Updated 4 years ago
- A bibliography framework for SATySFi.☆23Updated 3 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆22Updated 2 years ago
- Expression-oriented toy programming language written in Rust☆19Updated 6 years ago
- Execute command in local client from remote host☆24Updated 7 months ago
- Math matrix library for SATySFi☆14Updated 6 years ago
- Docker images for SATySFi and Satyrographos☆26Updated last month
- A self hosted whitespace compiler☆32Updated 5 years ago
- A C-like language designed to help write brainf*ck☆14Updated 6 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Updated last year
- O(N log N)-space IPC solver in OCaml☆53Updated 2 years ago
- Formatter for SATySFi☆17Updated 7 months ago
- simple text editor using rust language.☆14Updated 5 years ago
- An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).☆15Updated 5 years ago
- Vim syntax plugin for SATySFi typesetting system☆33Updated 4 years ago
- Package manager for SATySFi☆48Updated 2 years ago
- SATySFi parser writtern in Rust.☆14Updated 3 years ago
- A statically typed and lazy evaluated implementation of Lambda Calculus.☆21Updated 7 years ago
- Nazo ML - my toy programming language☆58Updated 5 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Updated 6 years ago
- An experimental project for statically typed scripting language.☆63Updated last month
- ☆14Updated 4 years ago