andreypopp / K.jl
K programming language dialect embedded in Julia
☆18Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for K.jl
- BQN implementation in Julia☆17Updated 2 years ago
- ☆64Updated 2 years ago
- High-level interface for low-level programming☆102Updated this week
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆29Updated 4 months ago
- ☆19Updated 3 weeks ago
- ☆16Updated last year
- k interpreter☆19Updated last month
- Julia implementation of https://github.com/ulfjack/ryu☆10Updated 4 years ago
- Full-featured traits in Julia. Without full features how dare I say this?☆65Updated 10 months ago
- My Advent of Code solutions☆22Updated 10 months ago
- Numerical Optimisation Library☆15Updated last year
- A tail recursion optimization macro for julia.☆16Updated 3 years ago
- A DSL for modern parsing☆45Updated 7 months ago
- formally and easily, describe the semantics.☆13Updated 4 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆51Updated last week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆24Updated this week
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago
- Like a kick in the monads☆41Updated 2 years ago
- A Julia package for representing infinity in all its forms☆19Updated 6 months ago
- Assorted s-expression utilities for Julia☆15Updated 8 months ago
- Binary blobs with on-the-fly pointer patching☆17Updated 6 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- A mechanical Calling-Julia-from-Python library for Python 3.7+ and Julia 1.6+☆9Updated 2 months ago
- minimal miniKanren implementation in Julia☆20Updated 7 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 2 years ago
- Julia binding for MMTk☆13Updated this week
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆9Updated 10 months ago