andreypopp / BQN.jl
BQN implementation in Julia
☆16Updated 2 years ago
Related projects: ⓘ
- ☆64Updated 2 years ago
- formally and easily, describe the semantics.☆13Updated 4 years ago
- Inverted file system for billion-scale ANN search☆15Updated 9 months ago
- HTML DSL AFAICT☆15Updated last year
- Assorted s-expression utilities for Julia☆15Updated 6 months ago
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆29Updated 2 months ago
- Binary blobs with on-the-fly pointer patching☆17Updated 6 years ago
- A DSL for modern parsing☆44Updated 5 months ago
- no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.☆15Updated last month
- Like a kick in the monads☆39Updated 2 years ago
- ☆10Updated last year
- collective tools for Julia SSA IR.☆29Updated 9 months ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 3 years ago
- Arithmetic with small and with very large rationals is made fast.☆22Updated last year
- Call Julia from Rust☆16Updated 7 years ago
- Pattern matching☆52Updated 2 years ago
- Full-featured traits in Julia. Without full features how dare I say this?☆63Updated 8 months ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 4 years ago
- you know, for kids? 👾☆25Updated 10 months ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 2 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 2 years ago
- A collection of Kanren implementations in Julia☆24Updated 7 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- ☆23Updated 2 years ago
- Library for compile-time computing in julia☆70Updated 9 months ago
- Code-regrouping to reduce latency in Julia code compilation☆15Updated 2 years ago
- minimal miniKanren implementation in Julia☆20Updated 7 years ago
- for you with the good questions☆27Updated 3 years ago
- ACSets: Algebraic databases as in-memory data structures☆18Updated 3 weeks ago
- ☆11Updated 3 years ago