mlochbaum / JtoLaTeXLinks
Write LaTeX-formatted documents using J evaluation
☆18Updated 9 years ago
Alternatives and similar repositories for JtoLaTeX
Users that are interested in JtoLaTeX are comparing it to the libraries listed below
Sorting:
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- Consolidated J language code referenced in my blog Analyze the Data not the Drivel☆40Updated last month
- adds an optional type system to J language☆21Updated 9 years ago
- The Aldor Programming Language☆35Updated 6 months ago
- ☆19Updated 6 years ago
- High-end Cryptographic Library☆44Updated 5 years ago
- Machine Learning Library, written in J☆59Updated last year
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated 4 months ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- (in progress) Racket port of the SICM scmutils library☆35Updated 5 years ago
- Jupyter Notebook / J Integration☆45Updated last year
- Computer Algebra and Symbolic Computation for R6RS Scheme☆64Updated 2 years ago
- Arrayfire bindings for J language☆12Updated 7 years ago
- a syntax directed editor☆17Updated last year
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Reason about Term Rewriting Systems☆16Updated 3 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- ☆30Updated 7 years ago
- talks about the j programming language☆25Updated 10 months ago
- GPL licensed J interpreter☆38Updated 9 years ago
- Probabilistic Programming☆42Updated last month
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆33Updated last year
- Converting APL Primitives to NumPy Expressions☆27Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Livin' like it's 1813 (or 1988).☆33Updated last year
- ☆26Updated 4 months ago
- Racket libraries for scientific computing☆18Updated 5 months ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago