BartoszMilewski / ParsingLinks
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
Sorting:
- Javascript Interpreter in Functional-Style Javascript☆19Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Formalism and proofs for esverify☆19Updated 7 years ago
- The Effect monad, for handling native side effects☆52Updated 2 years ago
- Tuple data type and utility functions☆26Updated 2 years ago
- A low level Haskell library to connect to postgres☆25Updated 2 years ago
- MongoDB driver for Haskell☆24Updated 3 years ago
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 9 years ago
- Beautifier for S-expression, mainly for WAT☆11Updated 5 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 4 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated 2 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 13 years ago
- A short guide detailing how to bootstrap PureScript.☆26Updated 6 years ago
- Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries☆21Updated 6 months ago
- A syntax checker for TOML files☆28Updated 5 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆34Updated last year
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- Arbitrary precision numbers for PureScript☆13Updated 2 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Updated 4 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 5 years ago
- Conway's Game of Life using a comonad☆23Updated 5 months ago
- Fluture type definitions for Sanctuary☆19Updated 4 years ago
- A collection of utilities for matching syntax in Sweet.js macros☆14Updated 7 years ago
- Purely functional map and set data structures☆36Updated 2 weeks ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Random number generation☆15Updated 3 years ago
- ☆29Updated 5 years ago
- A pretty printing library☆25Updated 6 years ago
- Functions and bitwise operators for the Int numeric type☆18Updated last year
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago