andyarvanitis / purescript-native-cpp-ffiLinks
C++ foreign export implementations for the standard library
☆22Updated 6 years ago
Alternatives and similar repositories for purescript-native-cpp-ffi
Users that are interested in purescript-native-cpp-ffi are comparing it to the libraries listed below
Sorting:
- Kotlin-backend for PureScript☆80Updated 4 years ago
- Higher order functional programming in PureScript's type system☆44Updated 4 years ago
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated 3 years ago
- An implementation of miniKanren in Haskell☆79Updated 12 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆35Updated 2 years ago
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Type-safe effectful state machines in Haskell☆96Updated 5 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago
- Incremental lambda calculus☆80Updated 6 years ago
- PureScript CST Parser written in PureScript☆52Updated 8 months ago
- Functions for working with records and polymorphic labels☆68Updated 2 years ago
- Types and kinds for basic type-level programming☆64Updated last year
- Template for Hindley-Milner based languages☆39Updated 4 years ago
- A library for working with the PureScript functional core.☆24Updated 5 years ago
- Typing Haskell in Haskell☆15Updated 15 years ago
- Type level natural numbers and booleans☆34Updated 6 years ago
- PureScript compiler written in PureScript (On hold / inactive)☆61Updated 11 years ago
- A type class which captures stack-safe monadic tail recursion☆38Updated 3 years ago
- Aff wrappers for purescript-node-fs☆21Updated 2 years ago
- The Event type, extracted from purescript-behaviors☆22Updated 5 years ago
- Type definitions and low level interface implementations for the W3C HTML5 spec☆33Updated 2 months ago
- small programming language. pls be gentle.☆39Updated this week
- Array utility functions☆57Updated last year
- 3D-Rubik's cube simulator written in Haskell using Gloss☆29Updated 5 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Common control classes and utility functions☆56Updated 2 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated last year