travisbrown / orcrs
An ORC reader for Rust
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for orcrs
- Strongly typed routes for Rust☆35Updated 3 years ago
- A Result-like type that can collect multiple Errs☆12Updated 4 years ago
- static analysis of free monads☆25Updated 6 years ago
- a fork of https://gitlab.com/nightkr/Sbtix☆12Updated last year
- ☆54Updated 4 years ago
- Accessing Postgres in a data frame in Haskell☆24Updated 10 months ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Haskell bindings to binaryen.☆13Updated 3 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A dependently typed programming language, and verification tool☆26Updated 8 years ago
- ☆38Updated 3 years ago
- Modern HTTP mock server for your daily project based on Dhall configuration☆21Updated 4 years ago
- A tool for OpenTelemetry tracing on the command line☆21Updated 7 months ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Updated 2 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 5 years ago
- Haskell libraries for OpenTracing.io☆16Updated 6 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated last week
- A new programming model for asynchronous and distributed programming.☆36Updated 6 years ago
- An experimental language server for SomewhatML☆24Updated last year
- ☆20Updated 5 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.☆26Updated 4 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- An implementation of the game Love Letter in the terminal, written in Haskell.☆15Updated 5 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Dhall support for the DOT language for graphviz☆37Updated 2 years ago
- Dependent hash maps☆14Updated 5 months ago
- Haskell Enterprise Edition☆12Updated 6 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago