Pascal-J / type-system-jLinks
adds an optional type system to J language
☆21Updated 9 years ago
Alternatives and similar repositories for type-system-j
Users that are interested in type-system-j are comparing it to the libraries listed below
Sorting:
- A visual Mandelbrot set explorer written in J☆11Updated 4 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- Arrayfire bindings for J language☆12Updated 7 years ago
- Poplog☆21Updated 14 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- a syntax directed editor☆17Updated last year
- High-end Cryptographic Library☆44Updated 5 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…☆29Updated 8 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated last month
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 8 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- ☆52Updated 8 years ago
- Stackless Joy☆23Updated last month
- Fast, simplified WAM-based Prolog system☆22Updated 2 weeks ago
- minikanren mips assembler/disassembler☆32Updated 10 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 11 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- talks about the j programming language☆25Updated 7 months ago
- APL parser written in Standard ML☆19Updated 8 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago