Co-dfns / apixlibLinks
An Image Dictionary for Co-dfns
☆14Updated 7 years ago
Alternatives and similar repositories for apixlib
Users that are interested in apixlib are comparing it to the libraries listed below
Sorting:
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- APL function editor written in APL☆13Updated 6 months ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- Utility functions to get images in and out of (GNU) APL☆6Updated 8 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- ☆22Updated 5 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- High-end Cryptographic Library☆44Updated 5 years ago
- A visual Mandelbrot set explorer written in J☆11Updated 4 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Poplog☆21Updated 14 years ago
- Stackless Joy☆23Updated last month
- experimental computational medium and supporting tools☆22Updated this week
- The MLtonLibrary repository☆36Updated 2 years ago
- ☆14Updated 2 weeks ago
- ☆19Updated last week
- an implementation of gradual typing in mit-scheme☆9Updated 4 years ago
- ☆18Updated 6 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- ANNSER is A Neural Network Simulator for Education and Research.☆10Updated 8 years ago
- ☆19Updated 2 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- The Aldor Programming Language☆34Updated 3 months ago
- ☆31Updated 11 months ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- APL parser written in Standard ML☆19Updated 8 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago