orsinium-labs / effView external linksLinks
Python library to work with algebraic effects
☆80Nov 17, 2020Updated 5 years ago
Alternatives and similar repositories for eff
Users that are interested in eff are comparing it to the libraries listed below
Sorting:
- Statically typed, purely functional effects for Python.☆156Nov 11, 2025Updated 3 months ago
- Utilities for run-time type validation and multiple dispatch☆172Dec 3, 2025Updated 2 months ago
- A versatile token stream for handwritten parsers.☆13Aug 3, 2023Updated 2 years ago
- A JupyterHub authenticator using Kerberos☆12Jul 16, 2019Updated 6 years ago
- 🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.☆862Nov 30, 2025Updated 2 months ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆18Sep 3, 2024Updated last year
- The magic number 0x5F3759DF in Python3 Fast Inverse SquareRoot☆12Mar 5, 2023Updated 2 years ago
- A simple tool and library to embed files and directories inside an OCaml executables☆20Apr 11, 2022Updated 3 years ago
- A self sufficient programming language: have your cake and eat it at compile time☆13Feb 8, 2026Updated last week
- Key-value git-like storage with full history backed by RocksDB☆13Aug 18, 2020Updated 5 years ago
- Strongly-typed, minimal-ish, stack-based development at storm-force speed.☆13Aug 16, 2023Updated 2 years ago
- ☆31Aug 18, 2025Updated 5 months ago
- ☆15Dec 11, 2020Updated 5 years ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆15Feb 3, 2023Updated 3 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆101Feb 4, 2026Updated last week
- ☆16Sep 28, 2017Updated 8 years ago
- Multi-shot CPS typed algebraic effects and handlers, in typescript.☆18Sep 11, 2023Updated 2 years ago
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago
- Advanced macro expander and language lab for Python.☆70Apr 17, 2025Updated 9 months ago
- Memory-efficient data structures in OCaml☆37Dec 27, 2021Updated 4 years ago
- effect isolation in Python, to facilitate more purely functional code☆384Jun 26, 2022Updated 3 years ago
- [beta] High-level wrapper around ocaml-sqlite3☆17Apr 28, 2022Updated 3 years ago
- POSIX sendmsg bindings for OCaml☆16Nov 5, 2016Updated 9 years ago
- A Flake8 plugin for checking executable permissions and shebangs.☆20Updated this week
- Painless micro-benchmarks☆20Mar 6, 2019Updated 6 years ago
- List of awesome JAX resources☆13Dec 8, 2022Updated 3 years ago
- A StableHLO analyzer in Lean☆20Jul 22, 2025Updated 6 months ago
- Python implementation of plot from Kay, Kola, Hullman, Munson "When (ish) is My Bus?" (2016)☆18Dec 19, 2019Updated 6 years ago
- MIT CADR original verilog and simulator☆17Jan 2, 2016Updated 10 years ago
- Finding unused functions in Python projects☆20Sep 3, 2024Updated last year
- Functional, composable, asynchronous, type-safe Python.☆155Nov 20, 2023Updated 2 years ago
- print nested boxes, lists, arrays, tables in several formats☆80May 14, 2025Updated 9 months ago
- A MySQL API for Lean 4☆19Mar 11, 2022Updated 3 years ago
- Python call graphing program. Modified pyan.py by Juha Jeronen, based on original pyan.py by Edmund Horner.☆19Nov 21, 2012Updated 13 years ago
- A functional asynchronous telegram-bot for handy reading xkcd comics. https://t.me/telexkcdbot☆23Oct 19, 2024Updated last year
- Cpu topology and affinity for ocaml-multicore☆51Sep 4, 2025Updated 5 months ago
- A better static site generator.☆22Mar 20, 2024Updated last year
- OCaml bindings for Binaryen.☆52Jan 23, 2026Updated 3 weeks ago
- Build complex types from simple blueprints with Pydantic☆26Feb 8, 2026Updated last week