Algebraic data types for python
☆21Feb 10, 2017Updated 9 years ago
Alternatives and similar repositories for adt
Users that are interested in adt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Simple Switch-Case Construct for Python☆27Oct 27, 2015Updated 10 years ago
- A C++ framework for working with the CPython API.☆23Feb 15, 2017Updated 9 years ago
- Arena allocator for Python objects.☆13Apr 25, 2020Updated 6 years ago
- Foundation for building semantically meaningful themes over emacs☆14Jul 23, 2026Updated 3 weeks ago
- 하스켈 모임 웹사이트 소스 코드☆16Dec 8, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Efficient storage of same-type, uneven-size arrays☆12Aug 5, 2018Updated 8 years ago
- SMiLER - Samsung MultiLingual Entity and Relation Extraction dataset☆18Feb 11, 2021Updated 5 years ago
- Data for the DiMSUM shared task at SEMEVAL 2016☆14Feb 8, 2016Updated 10 years ago
- [INACTIVE] WIP Aheui frontend for llvm, implemented in Rust☆22Nov 2, 2015Updated 10 years ago
- Exercism exercises in Babashka.☆13May 30, 2023Updated 3 years ago
- ABANDONED. Haskell interface to Naver Translate☆10Oct 15, 2015Updated 10 years ago
- Real-time vehicle maps with D3.js☆14Jun 19, 2026Updated last month
- Analysis engine for movie watching habits☆22Nov 12, 2018Updated 7 years ago
- This repository houses the IMPlicature and PRESupposition diagnostic dataset (IMPPRES), consisting of >25k semiautomatically generated se…☆19Sep 15, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Backend compiler for high-level typed code with first-class support for multi-dimensional arrays, objects and complex numbers.☆25Jul 17, 2019Updated 7 years ago
- QuickCheck for Python☆29Mar 24, 2012Updated 14 years ago
- Fluor Functions is a serverless platform written in Rust.☆16Apr 24, 2026Updated 3 months ago
- Batch the GET requests to your REST API into a single POST☆22Jan 17, 2017Updated 9 years ago
- A scalable implementation of the multifrontal method for symmetric and Hermitian systems (with intrafrontal pivoting)☆19Jun 27, 2016Updated 10 years ago
- This is a handy flask extension for setting up logging for your application that is super simple to setup.☆12Oct 20, 2023Updated 2 years ago
- Lazy one's Flask application☆11Aug 13, 2016Updated 10 years ago
- Allows Atom packages to depend on each other☆14May 16, 2015Updated 11 years ago
- A UI for docker-machine☆13Jan 27, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Some interesting Rust patterns☆15May 21, 2020Updated 6 years ago
- Extism Plug-in development kit (PDK) for Haskell☆10Mar 22, 2025Updated last year
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- investigating use of variational auto encoders with multinomial latent variables for unsupervised data.☆25Jun 12, 2017Updated 9 years ago
- Slack as an IRC client☆17Mar 21, 2019Updated 7 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- Serapis is a sentence identifier and modeling pipeline / built for Wordnik☆24Jun 9, 2016Updated 10 years ago
- My configuration files☆16Aug 5, 2026Updated last week
- Data structures for describing changes to other data structures.☆17Jan 19, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A tool to graph who has sent you the most emails☆17Mar 23, 2017Updated 9 years ago
- A native web-based client for Slack.☆23Aug 16, 2017Updated 8 years ago
- A Python editor☆32Sep 30, 2015Updated 10 years ago
- the website for rustbridge☆18Aug 1, 2024Updated 2 years ago
- ☆10Sep 29, 2017Updated 8 years ago
- JSON-Serializable IPython Traitlets☆13Apr 7, 2023Updated 3 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago