alpha
Login
Join now
shibbi.me
/
jest
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
The Jest Programming Language
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
1
Pulls
Pulls
Pipelines
Pipelines
jest
/
src
/
runtime
/
procs
21 files
at
bidirectional-type-inference
Siobhán Sterrett
·
feat: full dependent types — macro re-analysis, eval precision, final four gaps closed
·
5mo ago
fd1be627
arithmetic.jst
fix: complete % (modulus) for all type combinations
6mo ago
array.rs
feat: exact JSON numerics via BigInt + BigDecimal, no f64 in runtime
6mo ago
cmp.rs
fix: unify variadic arithmetic dispatch through generic system (Seam 1)
6mo ago
control.rs
feat: miniKanren with semantic unification — cons, arithmetic, string, assoc inversion
6mo ago
convert.rs
feat: self-host fn/macro + 18 more builtins, shrink Rust core to 41 (Batches 5-6)
6mo ago
forms.rs
feat: full dependent types — macro re-analysis, eval precision, final four gaps closed
5mo ago
generic.rs
chore: codebase audit — remove Z-bundle, fix all warnings, rewrite STATUS.md
6mo ago
helpers.rs
fix: unify variadic arithmetic dispatch through generic system (Seam 1)
6mo ago
kanren.jst
feat: add appendo to stdlib, new example files for pattern matching and generics
6mo ago
kanren.rs
feat: miniKanren with semantic unification — cons, arithmetic, string, assoc inversion
6mo ago
lambda.rs
chore: codebase audit — remove Z-bundle, fix all warnings, rewrite STATUS.md
6mo ago
math.rs
fix: guard dispatch with self-eval types + native GCD/LCM primitives
6mo ago
mod.rs
fix: complete % (modulus) for all type combinations
6mo ago
object.rs
feat: exact JSON numerics via BigInt + BigDecimal, no f64 in runtime
6mo ago
ops.rs
fix: complete % (modulus) for all type combinations
6mo ago
rationals.jst
fix: complete % (modulus) for all type combinations
6mo ago
stdlib.jst
feat: replace Z-bundle with mu value form for all recursion (Seam 4)
6mo ago
string.rs
feat: exact JSON numerics via BigInt + BigDecimal, no f64 in runtime
6mo ago
types.rs
feat: full dependent types — macro re-analysis, eval precision, final four gaps closed
5mo ago
unicode.jst
feat: self-host fn/macro + 18 more builtins, shrink Rust core to 41 (Batches 5-6)
6mo ago
var.rs
feat: exact JSON numerics via BigInt + BigDecimal, no f64 in runtime
6mo ago