olynch / Catlab.jl
A framework for applied category theory in the Julia language
☆11Updated last year
Related projects: ⓘ
- Finite state machines as graphs☆58Updated 4 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 2 years ago
- Julia embedded in Haskell☆53Updated 5 years ago
- ☆44Updated last year
- (early experiments toward) a version-control system for structured data☆17Updated last year
- source code for the bondi programming language☆38Updated 5 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 8 years ago
- ☆42Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆52Updated 4 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆28Updated 2 weeks ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 4 years ago
- Various Futhark benchmark programs☆40Updated 2 months ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 5 years ago
- ☆33Updated 5 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- A Datalog extension to reason about time with CTL operators☆14Updated 4 years ago
- A graphical editor for graph-like structures☆93Updated 9 months ago
- ☆68Updated 2 years ago
- A partial implementation of Protocol Buffers in Idris☆29Updated 7 years ago
- Monadic expressions and sequences for Julia☆32Updated last year
- Untyped Concatenative Calculus☆19Updated 2 years ago
- Specification of the Formality proof and programming language☆40Updated last year
- Apple array system☆53Updated this week
- A talk☆28Updated 3 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- Standard library for the Formality language☆18Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- Text generation language☆31Updated last week
- Yet another Scheme implemented in Haskell☆20Updated 4 years ago