BartoszMilewski / Parsing
Using parsec
☆9Updated 5 years ago
Alternatives and similar repositories for Parsing:
Users that are interested in Parsing are comparing it to the libraries listed below
- Javascript Interpreter in Functional-Style Javascript☆19Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- A low level Haskell library to connect to postgres☆25Updated 2 years ago
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 9 years ago
- The Effect monad, for handling native side effects☆53Updated 2 years ago
- A short guide detailing how to bootstrap PureScript.☆26Updated 5 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 4 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆34Updated last year
- Tuple data type and utility functions☆26Updated 2 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Updated 4 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated last year
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- Fluture type definitions for Sanctuary☆19Updated 4 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- Functions for working with PureScripts 'Number' type☆13Updated last year
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- ☆14Updated 2 months ago
- Fantasy Land -compliant Identity type☆27Updated 6 months ago
- Beautifier for S-expression, mainly for WAT☆11Updated 5 years ago
- Julia embedded in Haskell☆53Updated 4 months ago
- Haskell source code formatter☆24Updated 4 months ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- ☆34Updated last year
- A pretty printing library☆24Updated 6 years ago
- Exercism exercises in PureScript.☆38Updated 2 weeks ago
- A GraphQL query parser for Haskell☆59Updated 2 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- A collection of utilities for matching syntax in Sweet.js macros☆13Updated 7 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- ☆28Updated 5 years ago