thautwarm / Sequent.jl
formally and easily, describe the semantics.
☆13Updated 4 years ago
Related projects: ⓘ
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 3 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.☆15Updated last month
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 2 years ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 2 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 4 years ago
- collective tools for Julia SSA IR.☆29Updated 9 months ago
- Like a kick in the monads☆39Updated 2 years ago
- Assorted s-expression utilities for Julia☆15Updated 6 months ago
- ☆10Updated last year
- Full-featured traits in Julia. Without full features how dare I say this?☆63Updated 8 months ago
- Code-regrouping to reduce latency in Julia code compilation☆15Updated 2 years ago
- BQN implementation in Julia☆16Updated 2 years ago
- for you with the good questions☆27Updated 3 years ago
- It's interpreters all the way down.☆13Updated 3 years ago
- ☆11Updated 3 years ago
- Arithmetic with small and with very large rationals is made fast.☆22Updated last year
- A simple static type checker that enforces C-style programming in Julia☆25Updated last year
- Experimental compiler infrastructure for KernelAbstractions☆16Updated 8 months ago
- A utility package for working with Julia's CodeInfo internal representation.☆20Updated 7 months ago
- Pattern matching☆52Updated 2 years ago
- ☆14Updated 2 years ago
- Compact display of type information by leveraging constructor syntax☆11Updated 4 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10Updated 3 years ago
- A module for some additional try catch semantics in Julia☆15Updated 2 years ago
- A DSL for modern parsing☆44Updated 5 months ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- egraph <-> json☆12Updated last week
- Two-Level Type Theory☆27Updated 4 years ago
- A drop-in replacement of `Base.@assert` that prints out additional information upon failure.☆17Updated last year