sordina / japlLinks
Font for turning J into APL
☆12Updated 7 years ago
Alternatives and similar repositories for japl
Users that are interested in japl are comparing it to the libraries listed below
Sorting:
- Kanren with databases☆44Updated last year
- Datalog implemented in minikanren☆24Updated 8 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Racket-based implementation of Adapton☆22Updated 6 years ago
- source code for the bondi programming language☆41Updated 6 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆33Updated last year
- ☆48Updated 2 months ago
- Erlang to Scheme compiler☆39Updated 13 years ago
- ☆35Updated 6 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- miniKanren for search, SMT for solving☆13Updated 6 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated 6 months ago
- Wasm tooling in Racket.☆44Updated 2 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- a minimal implementation of incremental computation in Scheme☆36Updated 8 years ago
- Racket parser combinators inspired by parsack and megaparsec☆82Updated last year
- syn·di·cate: a language for interactive programs☆159Updated 7 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 8 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- Algebraic structures for untyped Racket☆77Updated last year
- ☆22Updated 5 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆18Updated 6 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- A Scala-style magic function application form☆43Updated 3 years ago