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
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 9 years ago
- Formalism and proofs for esverify☆20Updated 7 years ago
- Arbitrary precision numbers for PureScript☆13Updated 2 years ago
- A low level Haskell library to connect to postgres☆25Updated 2 years ago
- A short guide detailing how to bootstrap PureScript.☆26Updated 6 years ago
- Julia embedded in Haskell☆52Updated 5 months ago
- The Effect monad, for handling native side effects☆52Updated 2 years ago
- Fluture type definitions for Sanctuary☆19Updated 4 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 5 years ago
- Snake game, made with haskell-miso☆13Updated 7 years ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated 2 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆34Updated last year
- A Haskell IDE for Visual Studio Code.☆26Updated 2 months ago
- A syntax checker for TOML files☆28Updated 5 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- Miscellaneous constructions on monoids☆21Updated 2 weeks ago
- A Purescript interface to Cycle.js using xstream☆10Updated 6 years ago
- ☆23Updated 7 years ago
- Array utility functions☆57Updated last year
- Arbitrary length integers for PureScript☆26Updated 2 years ago
- Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries☆21Updated 5 months ago
- Tuple data type and utility functions☆26Updated 2 years ago
- an xmonad tutorial☆8Updated 6 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- Functions and bitwise operators for the Int numeric type☆18Updated last year
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 4 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago