YoshikuniJujo / lojysambanLinks
Prolog like language using lojban
☆14Updated 10 years ago
Alternatives and similar repositories for lojysamban
Users that are interested in lojysamban are comparing it to the libraries listed below
Sorting:
- lojban parser☆23Updated 10 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 8 years ago
- Operation Vanguard: fixing a number of Haskell packages at once☆11Updated 5 years ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 5 years ago
- Applicative lexer☆13Updated 5 years ago
- Haskell library for non-deterministic pattern matching☆17Updated 3 years ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 13 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- Classes for types where we know all the values☆39Updated 6 months ago
- A plugin for GHC to support super monads.☆25Updated 6 years ago
- Haskell Type Level Example Programs☆29Updated 7 years ago
- Fast unboxed references for ST and IO monad☆15Updated 8 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆32Updated 7 months ago
- Fast ByteString Builder☆21Updated 4 months ago
- Various cabal query commands wrapped in a simple CLI tool☆18Updated 7 years ago
- Uniform interface to reified data type information via Template Haskell☆21Updated 4 months ago
- Haskell space profiling toolset☆14Updated 6 years ago
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- Show programming language printed values in a web UI☆24Updated 6 years ago
- Haskell XML library☆27Updated 6 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Physical dimensions and operations☆9Updated 6 years ago
- ☆12Updated last month
- Reification of data structures using observable sharing☆29Updated 8 months ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 8 years ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- ScopeT and ScopeH☆13Updated 11 months ago
- mastodon client module for Haskell☆32Updated 2 years ago