tweag / haskell-binaryenLinks
Haskell bindings to binaryen.
☆14Updated 4 years ago
Alternatives and similar repositories for haskell-binaryen
Users that are interested in haskell-binaryen are comparing it to the libraries listed below
Sorting:
- A TOML parser for Idris 2☆17Updated last year
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- Lens combinators for fused-effects.☆17Updated 5 years ago
- Wasm library for PureScript☆29Updated last year
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- Core modules for a blazing fast markup combinator library☆24Updated 8 months ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 5 years ago
- Classical Logic in Haskell☆24Updated 2 months ago
- a functional programming language with algebraic effects and handlers☆82Updated 11 months ago
- A Haskell monad transformer library for data validation☆38Updated 2 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 6 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Updated 3 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated 2 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated last year
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- ⚖️ Trial Data Type☆21Updated 7 months ago
- small programming language. pls be gentle.☆39Updated 2 weeks ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆35Updated 2 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- JVM implementation in Haskell☆44Updated last year
- Wrap up Haskell tools☆15Updated 4 years ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Updated last month
- ☆36Updated 4 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 7 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 7 years ago