ericgj / adt.pyLinks
Tagged union types and immutable records (product types) in Python
☆11Updated 8 years ago
Alternatives and similar repositories for adt.py
Users that are interested in adt.py are comparing it to the libraries listed below
Sorting:
- ☆58Updated 8 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- Python library to work with algebraic effects☆80Updated 5 years ago
- functional data structures and utilities for python☆36Updated 6 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 4 years ago
- A command-line utility for pulling code blocks out of markdown files.☆15Updated 4 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆52Updated 2 years ago
- A general purpose relational language☆19Updated 5 years ago
- ☆19Updated 5 years ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 4 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Algebraic data types for python☆21Updated 9 years ago
- Awesome datalog libraries, tools and resources☆64Updated 6 years ago
- Python bindings for dhall, a functional configuration language☆48Updated last year
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆16Updated 5 years ago
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated 3 weeks ago
- A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call the…☆59Updated 12 years ago
- A module for handling continuations in Python☆32Updated 9 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆34Updated 7 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 10 years ago
- A dynamic language inspired by Python and E.☆79Updated 5 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- A MiniKanren in Python☆36Updated 9 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆101Updated this week
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- An incomplete stackless interpreter of Python bytecode, written in Rust.☆82Updated 2 years ago
- Research notebooks in Python, with the power of literate programming and Markdown.☆41Updated 12 years ago
- A lightweight Datalog engine in Rust☆57Updated 8 months ago