cratelyn / jLinks
π j is a subset of J, and an essay.
β47Updated 2 months ago
Alternatives and similar repositories for j
Users that are interested in j are comparing it to the libraries listed below
Sorting:
- Macros have types!β132Updated 2 years ago
- yk packagesβ33Updated this week
- A programming language somewhat resembling cellular processes.β34Updated 3 years ago
- Rust testing framework for compilers and VMsβ51Updated 7 months ago
- Exampwe of ewwonyenyonyuns code:β15Updated 6 years ago
- π A smol functional language that targets other languagesβ64Updated last year
- β21Updated 2 years ago
- it goes zoom zoomβ45Updated 2 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.β53Updated 4 years ago
- Performance comparisons between various virtual interpreter implementation strategiesβ45Updated last year
- pwintln uwuβ38Updated 4 years ago
- Like APL, but with emojisβ15Updated 3 years ago
- A fully-featured lexer generator, implemented as a proc macroβ71Updated 4 months ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.β57Updated 5 years ago
- Garbage collector implementation in Rust for Rustβ13Updated 5 years ago
- β30Updated 8 months ago
- A WIP little dependently-typed systems languageβ41Updated last year
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β107Updated 2 months ago
- A simple prolog implementation in Rustβ26Updated 4 years ago
- An esoteric programming language, using box-drawing charactersβ29Updated 7 months ago
- an interactive programming languageβ49Updated last week
- An experimental programming language for ergonomic software verificationβ16Updated 3 weeks ago
- An experimental RVSDG optimizer for brainfuck codeβ24Updated 3 years ago
- Forth for Rust's trait systemβ230Updated 5 years ago
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β266Updated 2 years ago
- Polymorphic guarded Ξ»-calculusβ20Updated 3 months ago
- Focus on the comments you find most interesting.β20Updated last year
- hindley-milner algorithmβ62Updated 2 years ago
- Logic programming, for Rust, from inside Rust.β41Updated 5 years ago
- RRust, a reversible Rust DSLβ43Updated 10 months ago