evhub / coconut-prelude
An implementation of Haskell's Prelude in Python using Coconut.
☆21Updated 6 months ago
Alternatives and similar repositories for coconut-prelude:
Users that are interested in coconut-prelude are comparing it to the libraries listed below
- functional data structures and utilities for python☆36Updated 6 years ago
- A Plugin to use Idris with Sublime☆27Updated 4 years ago
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- QuickFix actions for Haskell in VSCode☆13Updated this week
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 4 years ago
- Haskell JSON library☆27Updated 3 months ago
- Vim syntax highlight and indent definition for coconut.☆19Updated 7 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆19Updated 6 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆57Updated last year
- Haskell source code formatter☆24Updated last month
- Jupyter notebooks☆58Updated 2 months ago
- Up-to-date and maintained python bindings for dhall, a functional configuration language☆46Updated 2 months ago
- Haskell library for glob matching☆25Updated 3 years ago
- build tool and package manager for idris,in idris,with free monads☆33Updated 6 years ago
- Jhc: Haskell Compiler☆36Updated 9 years ago
- Haskell language tools for Python☆158Updated 4 years ago
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Updated 4 years ago
- Date and time library for PureScript.☆49Updated 2 years ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 4 months ago
- VSCode pluging that provides LSP support for the Dhall programming language☆17Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- Work in progress pure python dhall interpreter☆27Updated 6 years ago
- Purely functional map and set data structures☆36Updated 11 months ago
- Kotlin-backend for PureScript☆81Updated 3 years ago
- Library for invertible parsing and printing☆31Updated 8 months ago
- Development work related to the PureScript Registry☆97Updated 3 months ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago