Gabriella439 / Purescript-to-PythonLinks
A compiler from Purescript to Python
☆42Updated 10 years ago
Alternatives and similar repositories for Purescript-to-Python
Users that are interested in Purescript-to-Python are comparing it to the libraries listed below
Sorting:
- ☆46Updated 9 years ago
- A Prelude with names from category theory☆51Updated 9 years ago
- PureScript implementation of lens☆78Updated 5 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Updated 8 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49Updated 9 years ago
- Various efficient-ish sequence types for PureScript.☆47Updated last year
- An IO monad for PureScript.☆44Updated 7 years ago
- ☆26Updated 5 years ago
- ☆38Updated 5 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- Reproducible builds for PureScript☆73Updated 7 years ago
- Compile PureScript into Haskell.☆68Updated 8 years ago
- Straightforward benchmarking for PureScript/JavaScript.☆31Updated 2 years ago
- QuickCheck with shrinking for free☆49Updated 3 years ago
- A PureScript prelude with more features.☆30Updated 8 years ago
- Declare and access tuple fields with labels☆59Updated 6 years ago
- ☆33Updated 5 years ago
- Baresto UI☆39Updated 8 years ago
- A combinator for making any monadic control operator stack-safe☆26Updated 6 years ago
- A more flexible mtl☆62Updated 7 years ago
- PureScript bindings for D3☆86Updated 3 years ago
- ☆89Updated last year
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 5 years ago
- Auto-generate a server for your datatype☆30Updated 3 years ago
- Starting from scratch to wrap D3v4☆25Updated 9 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- ☆44Updated 8 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- A tiny EDSL for making slides in PureScript☆26Updated 8 years ago
- Arbitrary length integers for PureScript☆26Updated 2 years ago