evhub / coconut-prelude
An implementation of Haskell's Prelude in Python using Coconut.
☆21Updated last month
Related projects: ⓘ
- functional data structures and utilities for python☆35Updated 5 years ago
- Sum Types, aka Tagged Unions, for Python☆42Updated 2 years ago
- Vim syntax highlight and indent definition for coconut.☆17Updated 6 years ago
- ☆47Updated 6 years ago
- QuickFix actions for Haskell in VSCode☆13Updated 2 months ago
- Proof that Haskell can look and act like an imperative language.☆73Updated 12 years ago
- Haskell JSON library☆27Updated last year
- Jupyter notebooks☆57Updated 2 weeks ago
- A Plugin to use Idris with Sublime☆27Updated 3 years ago
- ☆16Updated 4 years ago
- Kotlin-backend for PureScript☆81Updated 3 years ago
- Up-to-date and maintained python bindings for dhall, a functional configuration language☆44Updated 11 months ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆18Updated 6 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆56Updated last year
- Coconut syntax highlighting for Sublime Text and VSCode.☆17Updated 3 months ago
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- A port of QuickCheck to Idris☆57Updated 6 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 3 months ago
- build tool and package manager for idris,in idris,with free monads☆34Updated 5 years ago
- Utilities for using the Fay Haskell-to-JS compiler with Yesod.☆24Updated 5 years ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- S-expression-based syntax alternative for Haskell.☆21Updated 10 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 4 years ago
- Probabilistic computation in Idris☆33Updated 5 years ago
- ☆41Updated 7 years ago
- Dhall support for the DOT language for graphviz☆38Updated 2 years ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Updated 6 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 5 years ago