YoshikuniJujo / lojban_parserLinks
lojban parser
☆23Updated 11 years ago
Alternatives and similar repositories for lojban_parser
Users that are interested in lojban_parser are comparing it to the libraries listed below
Sorting:
- Arbitrary-precision floating-point numbers represented using scientific notation☆75Updated last year
- Prolog like language using lojban☆14Updated 11 years ago
- Asynchronous type-checking for Agda 2.6.2.☆22Updated last year
- Parser and pretty-printer for the Rust language☆86Updated 2 years ago
- constructive abstract algebra☆104Updated 5 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆79Updated 5 years ago
- ☆78Updated 3 months ago
- fleet-footed ByteString builder☆52Updated last year
- Unpacked containers using backpack☆52Updated 5 years ago
- Template Haskell Implementation of Egison Pattern Matching☆33Updated 5 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Updated 3 years ago
- A class for types that can be converted to a hash value☆105Updated 3 weeks ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- Haskell XML library☆27Updated 6 years ago
- Golden tests with Hspec☆29Updated 2 months ago
- Various XML utility packages for Haskell☆73Updated last month
- Filter with effects☆74Updated 11 months ago
- Let GHC prove program equations for you☆146Updated 7 years ago
- ☆16Updated 9 months ago
- Test your Haskell code by exhaustively checking its properties☆137Updated 5 months ago
- Crypto for Haskell☆37Updated 4 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆99Updated last year
- A subfield of the complex numbers for exact calculation.☆22Updated 5 years ago
- Type-level well-kinded natural numbers.☆36Updated last year
- A collection of Notes on GHC☆72Updated 6 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆104Updated this week
- Platform-independent library for basic file system operations☆62Updated last week
- git protocol and storage in pure haskell☆67Updated 4 years ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆58Updated 10 months ago