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
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Updated 7 years ago
- A starter-kit for the Scotty web framework☆65Updated 7 years ago
- Examples to demonstrate the core computational structures of Haskell based scotty web framework library☆14Updated 8 years ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- ☆15Updated 5 years ago
- Jupyter notebooks☆58Updated 11 months ago
- An HTTP library for idris☆39Updated 6 years ago
- Lambda calculus go brrrr☆30Updated 2 years ago
- Write shell scripts with Conduit☆96Updated 5 years ago
- Exercism exercises in Coq.☆19Updated last year
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- Elaborate and expressive S-Expression library for Haskell☆63Updated last year
- A Plugin to use Idris with Sublime☆27Updated 4 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 6 years ago
- Work in progress pure python dhall interpreter☆27Updated 6 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆49Updated 3 months ago
- Haskell source code formatter☆24Updated 10 months ago
- Android 2048 game using Yampa FRP library in Eta☆57Updated 7 years ago
- ☆50Updated 7 years ago
- A simple text editor written in Haskell with Brick☆13Updated 6 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 9 months ago
- Idris for Visual Studio Code☆107Updated 3 years ago
- A port of QuickCheck to Idris☆60Updated 8 years ago
- Useful resources for the Eta programming language☆62Updated 4 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Jhc: Haskell Compiler☆39Updated 10 years ago
- Make a lambda calculus.☆87Updated 5 years ago