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
- ☆15Updated 5 years ago
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 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
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Haskell source code formatter☆24Updated 11 months ago
- S-expression-based syntax alternative for Haskell.☆22Updated 11 years ago
- A Plugin to use Idris with Sublime☆27Updated 4 years ago
- A functional reactive GUI for John Conway's Game of Life.☆25Updated 9 years ago
- An HTTP library for idris☆39Updated 6 years ago
- An extended typed Lambda Calculus☆21Updated last year
- ☆50Updated 8 years ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 4 years ago
- Vim syntax highlight and indent definition for coconut.☆19Updated 8 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆101Updated 8 months ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Updated 7 years ago
- A port of QuickCheck to Idris☆60Updated 8 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- Exercism exercises in Coq.☆19Updated last year
- Useful resources for the Eta programming language☆64Updated 4 years ago
- Coconut syntax highlighting for Sublime Text and VSCode.☆18Updated last year
- Experiments in implementing functional data structures in Idris☆15Updated 6 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 6 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Haskell JSON library☆27Updated last year
- Monads for Racket (!)☆21Updated 10 years ago