evhub / coconut-prelude
An implementation of Haskell's Prelude in Python using Coconut.
☆21Updated 9 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
- ☆16Updated 5 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- Library for invertible parsing and printing☆32Updated 11 months ago
- Functions and bitwise operators for the Int numeric type☆18Updated last year
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- ☆49Updated 7 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 4 years ago
- Array utility functions☆57Updated last year
- Purely functional map and set data structures☆36Updated last year
- Kotlin-backend for PureScript☆81Updated 3 years ago
- A Plugin to use Idris with Sublime☆27Updated 4 years ago
- Examples to demonstrate the core computational structures of Haskell based scotty web framework library☆14Updated 7 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Updated 6 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- A Haskell ADL to generate terraform files.☆17Updated 4 years ago
- Jupyter notebooks☆58Updated 5 months ago
- Haskell JSON library☆27Updated 6 months ago
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- Type-safe, printf-style formatting for PureScript☆17Updated 2 years ago
- Home page for the Simple Haskell Initiative☆15Updated 2 years ago
- Haskell source code formatter☆24Updated 4 months ago
- Date and time library for PureScript.☆49Updated 2 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- Vim syntax highlight and indent definition for coconut.☆19Updated 7 years ago
- Tuple data type and utility functions☆26Updated 2 years ago
- Arbitrary length integers for PureScript☆26Updated 2 years ago