polytypic / prettier-printerLinks
A pretty printing library
☆25Updated 6 years ago
Alternatives and similar repositories for prettier-printer
Users that are interested in prettier-printer are comparing it to the libraries listed below
Sorting:
- ☆56Updated 8 years ago
- Build system☆89Updated 7 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 10 years ago
- Distributed Data Structures in Coq☆49Updated 12 years ago
- A step-by-step MicroKanren evaluator☆29Updated 9 years ago
- Crux Programming Language☆53Updated 4 months ago
- The Ur/Web People Organizer☆30Updated last year
- SVG Combinators for Haskell☆23Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 8 years ago
- Higher-order optimization library☆76Updated 2 years ago
- Fungi: Typed incremental computation with names☆71Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- ☆34Updated 2 years ago
- The language of the future!☆73Updated last year
- Fluture type definitions for Sanctuary☆19Updated 4 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Updated 7 years ago
- ☆23Updated 13 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Updated 11 years ago
- ☆23Updated 8 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- The LVish Haskell library☆80Updated 3 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆94Updated 7 years ago
- Higher-Order Contracts for JavaScript☆14Updated 8 years ago
- Abstract binding tree code generator☆37Updated 9 years ago
- Higher-kinded programming in OCaml☆189Updated 2 years ago