Run command as REPL-environment (useful for git!).
☆29Apr 13, 2021Updated 4 years ago
Alternatives and similar repositories for repl
Users that are interested in repl are comparing it to the libraries listed below
Sorting:
- Python 3+ csv file validation framework☆12Oct 2, 2022Updated 3 years ago
- Use Postgresql/Sqlite as if it were a Python Dictionary☆12Aug 10, 2020Updated 5 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- A client in go for twtxt -- the decentralised, minimalist microblogging service https://twtxt.readthedocs.org/en/stable/☆26Jan 11, 2022Updated 4 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- Small library supporting HTTP accept headers and content negotiation.☆13Mar 18, 2017Updated 9 years ago
- A directory of twtxt users☆24Oct 5, 2022Updated 3 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- Raft transport layer that implements the Redis protocol☆15Nov 3, 2020Updated 5 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 4 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- Instantly share images, videos, and other files on the web☆15Aug 24, 2017Updated 8 years ago
- A programming language focused on concurrency and low memory usage☆12Apr 29, 2019Updated 6 years ago
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- ☆19Apr 27, 2012Updated 13 years ago
- ☆14Aug 14, 2025Updated 7 months ago
- Conditionally enter a context manager☆10Jun 3, 2024Updated last year
- Twitter OCR bot that reads characters from picture☆11Aug 22, 2019Updated 6 years ago
- Declaratively set your DNS records with dnsmill, powered by libdns.☆12Nov 26, 2025Updated 3 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- A Python teaching tool☆20Aug 24, 2012Updated 13 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 5 years ago
- Sever/client clipboard over SSH for Neovim☆13Nov 13, 2016Updated 9 years ago
- hosted twtxt server (in Go)☆31Jul 18, 2019Updated 6 years ago
- Easily get cache and config folders for your app according to each OS spec☆17Feb 11, 2020Updated 6 years ago
- UNMAINTAINED: Django/Jinja2 l10n extract/merge commands and things (Tower replacement)☆14May 11, 2022Updated 3 years ago
- A declarative synchronization tool for managing cloud DNS records.☆11Sep 3, 2018Updated 7 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- Reversible programming language☆12Dec 7, 2019Updated 6 years ago
- ☆12Jun 13, 2019Updated 6 years ago
- Fast-api production ready boilerplate☆10Sep 14, 2022Updated 3 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 6 years ago
- Lightweight request runner☆18Dec 8, 2020Updated 5 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 years ago
- Command-line tool for semantic search across your local files using embeddings☆17Aug 28, 2025Updated 6 months ago