SuperpowersCorp / refactorio
Refactorio is a tool with which you build and maintain software.
☆19Updated 8 months ago
Alternatives and similar repositories for refactorio:
Users that are interested in refactorio are comparing it to the libraries listed below
- Show programming language printed values in a web UI☆24Updated 5 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 7 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 8 months ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- Structured logging solution.☆35Updated last year
- Agda-style equational reasoning in Haskell☆52Updated last month
- Invertible parsing for S-expressions☆34Updated 5 months ago
- Haskell types and parsers for software version numbers.☆20Updated last week
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 3 weeks ago
- GHC prof manipulation script☆32Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated 2 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆30Updated 2 months ago
- The most complete prelude formed only from the "base" package☆28Updated last year
- Use hpack's phrasing in dhall to write cabal files☆31Updated last month
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated 7 months ago
- ☆54Updated 6 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- phantom types☆38Updated 2 weeks ago
- 💧 Liquid Haskell integration for Cabal and Stack☆23Updated 5 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Dual Traversable☆42Updated last year
- GHC development flow☆24Updated 7 years ago
- Serializable closures for distributed programming.☆64Updated last year
- Simple reflection of expressions☆33Updated 3 years ago
- Give Haskell development tools access to Cabal project environment.☆24Updated 4 years ago
- An experiment in functional interface design☆23Updated 8 years ago