BartoszMilewski / Parsing
Using parsec
☆9Updated 4 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
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 9 years ago
- Arbitrary precision numbers for PureScript☆13Updated 2 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- The Effect monad, for handling native side effects☆53Updated 2 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 4 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated last year
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Tuple data type and utility functions☆26Updated 2 years ago
- Conway's Game of Life using a comonad☆23Updated 2 months ago
- A low level Haskell library to connect to postgres☆25Updated 2 years ago
- Arbitrary length integers for PureScript☆26Updated 2 years ago
- A short guide detailing how to bootstrap PureScript.☆26Updated 5 years ago
- Functions and bitwise operators for the Int numeric type☆18Updated last year
- Linked Lists☆57Updated last year
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Updated 4 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Fantasy Land -compliant Identity type☆27Updated 4 months ago
- Snake game, made with haskell-miso☆13Updated 7 years ago
- A collection of utilities for matching syntax in Sweet.js macros☆13Updated 7 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 6 years ago
- Purely functional map and set data structures☆36Updated last year
- Miscellaneous constructions on monoids☆18Updated last month
- Functions for working with PureScripts 'Number' type☆13Updated last year
- ☆23Updated 7 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Beautifier for S-expression, mainly for WAT☆11Updated 4 years ago
- SVG Combinators for Haskell☆23Updated 7 years ago
- Array utility functions☆57Updated last year