ordovician / LittleManComputer.jl
Implementation of the Little Man Computer for learning Assembly programming in Julia
☆10Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for LittleManComputer.jl
- multiparameter typeclasses for Julia☆24Updated 7 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- BQN implementation in Julia☆17Updated 2 years ago
- Monadic expressions and sequences for Julia☆32Updated last month
- HTML DSL AFAICT☆15Updated last year
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Algorithmic music composition in Julia☆10Updated 4 years ago
- Entity Component System with julia☆59Updated last year
- Julia embedded in Haskell☆53Updated 5 years ago
- Parallel Programming in Futhark☆48Updated this week
- Your happy place for learning APL☆16Updated last year
- A graphical editor for graph-like structures☆96Updated 11 months ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- A compiler for a simple language using llvm☆35Updated last year
- minimal miniKanren implementation in Julia☆20Updated 7 years ago
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆49Updated 9 months ago
- Assorted s-expression utilities for Julia☆15Updated 8 months ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 4 years ago
- translations of a lambda abstraction to combinations of operators☆17Updated 5 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 4 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆27Updated 7 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- you know, for kids? 👾☆25Updated last year
- Lambda calculus go brrrr☆28Updated last year
- ☆64Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- Like a kick in the monads☆41Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago