evhub / coconut-preludeLinks
An implementation of Haskell's Prelude in Python using Coconut.
☆21Updated last year
Alternatives and similar repositories for coconut-prelude
Users that are interested in coconut-prelude are comparing it to the libraries listed below
Sorting:
- functional data structures and utilities for python☆36Updated 6 years ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆99Updated 5 months ago
- ☆15Updated 5 years ago
- A Plugin to use Idris with Sublime☆27Updated 4 years ago
- Jupyter notebooks☆58Updated 10 months ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Python backend for Idris (generates Python source, not bytecode).☆125Updated 7 years ago
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Idris for Visual Studio Code☆107Updated 3 years ago
- A Python backend for PureScript.☆124Updated 3 years ago
- ☆49Updated 7 years ago
- Haskell JSON library☆27Updated 11 months ago
- ☆46Updated 9 years ago
- Write shell scripts with Conduit☆96Updated 5 years ago
- dependent types meets deep learning☆44Updated 6 years ago
- Higher-kinded programming in OCaml☆186Updated 2 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- A port of QuickCheck to Idris☆60Updated 7 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- source code for the bondi programming language☆41Updated 6 years ago
- Vim syntax highlight and indent definition for coconut.☆19Updated 7 years ago
- An HTTP library for idris☆39Updated 6 years ago
- Useful resources for the Eta programming language☆62Updated 4 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Parallel Programming in Futhark☆49Updated last month
- Slides & demos for talks I do☆58Updated 5 years ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago