mcastorina / repostLinks
A tool to easily define and send HTTP requests
☆10Updated last year
Alternatives and similar repositories for repost
Users that are interested in repost are comparing it to the libraries listed below
Sorting:
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 2 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆16Updated 6 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Key-value git-like storage with full history backed by RocksDB☆13Updated 4 years ago
- Pijul <-> Git proxy☆21Updated 6 years ago
- ☆13Updated 5 years ago
- An interactive Datalog☆35Updated last week
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- 📖 view and generate static websites from your Org files (WIP).☆20Updated last year
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- A Rust implementation of the Lean kernel☆10Updated 2 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 4 years ago
- a password manager for hermits☆30Updated 6 years ago
- Wasm library for PureScript☆28Updated 10 months ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 5 years ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆30Updated 11 months ago
- A Rust hashconsing library.☆32Updated 11 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 8 months ago
- A program for querying and modifying information in a datalog-like format backed by SQLite.☆40Updated 3 years ago
- An open-source database inspired by Datomic☆30Updated last year
- A relational interpretation of Lojban☆34Updated last week
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago