lancelet / space-workshopLinks
Haskell simulations of spacecraft manoeuvres
☆19Updated 4 years ago
Alternatives and similar repositories for space-workshop
Users that are interested in space-workshop are comparing it to the libraries listed below
Sorting:
- ☆45Updated 3 years ago
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 6 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Symbol manipulation☆36Updated 2 years ago
- Generates a references DB from .hie files☆66Updated last month
- ☆54Updated 6 years ago
- A convenient DSL for describing web routes☆42Updated 4 years ago
- Maps using values' monoidal structure during merging☆42Updated last month
- Nat, Fin, Vec☆25Updated last month
- ☆39Updated last year
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Lean Haskell Benchmarking☆90Updated 2 years ago
- A library for generic programming that aims to be easy to understand☆26Updated 2 months ago
- rewrite rules for type-level equalities☆62Updated last year
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Measure allocations of a Haskell functions/values☆95Updated 7 months ago
- Omit fields for instance deriving☆37Updated 5 years ago
- Comma (and other) separated values☆78Updated last year
- Verified left pad☆19Updated 7 years ago
- Unpacked containers using backpack☆52Updated 5 years ago
- A GHC plugin and library for analysing GHC Core☆54Updated 4 months ago
- ☆31Updated 4 years ago
- Universal build and CI testing for Haskell packages☆93Updated 2 months ago
- Text-based interactive GHC .prof viewer☆48Updated last year
- ☆77Updated 2 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 5 years ago
- Compare the public API of different versions of a Hackage library☆63Updated 7 years ago
- Declare and access tuple fields with labels☆58Updated 6 years ago