ashinkarov / cnn-in-aplLinks
CNN in APL
☆22Updated 3 years ago
Alternatives and similar repositories for cnn-in-apl
Users that are interested in cnn-in-apl are comparing it to the libraries listed below
Sorting:
- Converting APL Primitives to NumPy Expressions☆28Updated last year
- A relational interpretation of Lojban☆34Updated 3 months ago
- concatenative array language inspired by kdb/+q☆96Updated 3 years ago
- Apple array system☆68Updated last week
- Untyped Concatenative Calculus☆19Updated 3 years ago
- BQN virtual machine☆31Updated last year
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- A DSL for runtime code generation in racket☆68Updated 3 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- A Haskell-like language for scripting and web apps☆13Updated last year
- source code for the bondi programming language☆42Updated 6 years ago
- Your happy place for learning APL☆15Updated 2 years ago
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- a self-hosting lambda calculus compiler☆37Updated 7 months ago
- An embeddable BQN virtual machine in rust. Stay tuned!☆34Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆37Updated last month
- My Advent of Code solutions☆22Updated this week
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 5 months ago
- ☆79Updated 6 years ago
- Audio library for BQN☆20Updated last month
- Specification of the Formality proof and programming language☆41Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆81Updated 8 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 2 weeks ago
- BQN↔NumPy bridge☆21Updated last month