SuperpowersCorp / refactorioLinks
Refactorio is a tool with which you build and maintain software.
☆19Updated last year
Alternatives and similar repositories for refactorio
Users that are interested in refactorio are comparing it to the libraries listed below
Sorting:
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Simple reflection of expressions☆33Updated 4 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- An efficient graph library for Haskell☆39Updated 3 weeks ago
- Show programming language printed values in a web UI☆24Updated 6 years ago
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- A monad for managed values☆50Updated 2 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Structured logging solution.☆35Updated last week
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 4 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆31Updated 6 months ago
- More strongly typed variant of the ixset Haskell package☆24Updated 10 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 4 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Serializable closures for distributed programming.☆65Updated last year
- The most complete prelude formed only from the "base" package☆29Updated last year
- GHC prof manipulation script☆32Updated last year
- Tasty integration for the Hedgehog property testing library☆38Updated 7 months ago
- Derive instances through isomorphisms☆20Updated last year
- Use hpack's phrasing in dhall to write cabal files☆31Updated 5 months ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- Haskell time library focusing on performance☆57Updated 6 months ago
- Haskell types and parsers for software version numbers.☆21Updated 4 months ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 2 months ago
- high-resolution performance benchmarking☆26Updated 4 months ago