devNegative-asm / TypeLisp
Inspired by typelang, a lisp implemented in typescript's type engine
☆10Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for TypeLisp
- Apple array system☆54Updated this week
- BQN↔NumPy bridge☆18Updated 3 weeks ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last year
- (early experiments toward) a version-control system for structured data☆17Updated last year
- Linear lens☆20Updated 9 months ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Run dyalog APL and RIDE on nixos☆21Updated 6 months ago
- A minimal proof checker.☆65Updated 2 months ago
- ☆40Updated last year
- File format and optimizer for programs encoded in binary lambda calculus☆11Updated 10 months ago
- linear algebra done right in coq☆10Updated 3 years ago
- An implementation of the Lox language in Racket.☆30Updated last year
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- An embeddable flow-oriented language.☆59Updated this week
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆35Updated 5 months ago
- Demo for dependent types + runtime code generation☆48Updated this week
- Interactive holes for Lean 4☆16Updated 7 months ago
- Like APL, but with emojis☆16Updated 2 years ago
- ☆29Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- Fast higher-order effect handlers with evidence passing☆17Updated 10 months ago
- Functional, expression-oriented data processing language☆81Updated this week
- A proof that Idris is pacman complete☆8Updated 7 years ago
- ☆43Updated last year
- Haskell port of the Nanopass Compiler Framework☆10Updated 10 months ago
- ☆33Updated 7 months ago
- Messing around with delimited continuations, fibers, and algebraic effects☆14Updated 3 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated 10 months ago
- Prototypes: Object Orientation, Functionally☆41Updated 2 months ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 4 months ago