argumentcomputer / introit
The Yatima Standard Library
☆20Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for introit
- Standard library for the Formality language☆18Updated 4 years ago
- A set of tools for working with datafrog☆22Updated 4 years ago
- An open-source database inspired by Datomic☆29Updated 11 months ago
- A tree-sitter grammar parser for Janet☆16Updated 2 years ago
- Another attempt to realize my programming language☆18Updated this week
- Wasm library for PureScript☆26Updated 3 months ago
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Updated 11 months ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- Fungi: Typed incremental computation with names☆66Updated 5 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆14Updated 3 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- The next-generation Olin runtime, made with love☆65Updated 2 years ago
- A minimal language inspired by Lisp and Haskell☆21Updated 4 years ago
- A LISP interpreter written in ReasonML, targeting native and browser environments☆16Updated 6 years ago
- A Rust implementation of the Lean kernel☆11Updated last year
- ☆34Updated 5 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated last year
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- ☆10Updated 3 years ago
- SIMD optimised algorithms and data types☆18Updated 5 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated 8 months ago
- Notes from my research for forest-lang☆12Updated 2 years ago
- A Vim plugin for Carp☆17Updated 3 years ago
- Get a GUI fast in any language under the sea!☆47Updated last year