idris-hackers / IdrisScriptLinks
FFI Bindings to interact with the unsafe world of JavaScript
☆93Updated 6 years ago
Alternatives and similar repositories for IdrisScript
Users that are interested in IdrisScript are comparing it to the libraries listed below
Sorting:
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- Js libraries for idris☆49Updated 5 years ago
- PureScript UI framework based on lenses.☆122Updated 8 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- Implement monads by specifying instructions and their desired operational semantics.☆83Updated last year
- Type provider library for Idris☆94Updated 7 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Haskell 98 comonads☆78Updated 3 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- The Haskell Refactoring Tool☆136Updated 5 years ago
- Generic parser combinators☆87Updated 3 months ago
- The Haskell Refactoring Tool☆138Updated 7 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- 2048 in Idris☆122Updated 7 years ago
- A test framework for Idris☆54Updated 6 years ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- Haskell XML Toolbox☆124Updated 10 months ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- A Idris Mode for Atom.io☆101Updated 10 months ago
- High performance type safe html generation☆128Updated 2 years ago
- Extensible Effects: An Alternative to Monad Transformers☆174Updated 4 years ago
- A PureScript interpreter in Haskell☆120Updated 3 years ago
- A parser combinator library based on Parsec☆153Updated 2 months ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- Error/Warning reporting frontend for the PureScript compiler☆91Updated 10 months ago
- Test your Haskell code by exhaustively checking its properties☆136Updated 2 years ago
- xmonad with the X11 abstracted and configured with Idris☆211Updated 6 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago