slamdata / truffled-purescript
☆92Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for truffled-purescript
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- A Idris Mode for Atom.io☆100Updated 3 months ago
- An Intellij Plugin for the Eta programming language☆52Updated 6 years ago
- A typeclass-based Prelude.☆108Updated 8 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- A JVM bytecode assembler written in Haskell.☆36Updated 8 years ago
- ☆34Updated 8 years ago
- Various efficient-ish sequence types for PureScript.☆45Updated 8 months ago
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- Write PostgreSQL functions in Haskell☆54Updated 10 years ago
- Incremental lambda calculus☆81Updated 5 years ago
- Error/Warning reporting frontend for the PureScript compiler☆90Updated 4 months ago
- Java parser and printer for haskell☆67Updated 3 years ago
- Extensible Effects: An Alternative to Monad Transformers☆174Updated 3 years ago
- QuickCheck with shrinking for free☆50Updated 2 years ago
- Declare and access tuple fields with labels☆60Updated 5 years ago
- A compiler from Purescript to Python☆43Updated 9 years ago
- A small web programming library on top of reactive-banana and virtual-dom☆79Updated 9 years ago
- Android 2048 game using Yampa FRP library in Eta☆56Updated 6 years ago
- PureScript UI framework based on lenses.☆122Updated 8 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 8 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 9 years ago
- The Haskell Refactoring Tool☆139Updated 7 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last year
- Baresto UI☆39Updated 7 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49Updated 8 years ago
- Haskell types lined up to highlight their similarities☆31Updated 4 years ago
- Gradle plugin for the Eta programming language☆30Updated 3 years ago