Co-dfns / mystika
High-end Cryptographic Library
☆44Updated 5 years ago
Alternatives and similar repositories for mystika:
Users that are interested in mystika are comparing it to the libraries listed below
- adds an optional type system to J language☆21Updated 9 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- MiServer- an APL-based web server - requires Dyalog APL available from http://www.dyalog.com☆49Updated 3 months ago
- SML Parser Combinator Library☆27Updated 8 years ago
- talks about the j programming language☆25Updated 6 months ago
- The MLtonLibrary repository☆36Updated 2 years ago
- APL function editor written in APL☆13Updated 5 months ago
- Stackless Joy☆23Updated 3 months ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 8 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- DevOps for Dyalog APL☆16Updated 3 months ago
- ☆18Updated 6 years ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Machine Learning Library, written in J☆58Updated last year
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- Arrayfire bindings for J language☆12Updated 7 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- J for Android☆34Updated this week
- A concise programming language that is fun to use☆16Updated 9 years ago
- Boolean Constraint Solving in Prolog☆42Updated 4 months ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- APL is the greatest language ever☆68Updated 3 months ago