csabahruska / bullet
Haskell binding for Bullet physics engine
☆23Updated 4 years ago
Alternatives and similar repositories for bullet:
Users that are interested in bullet are comparing it to the libraries listed below
- GHC prof manipulation script☆32Updated last year
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- A text editor zipper libary☆17Updated 3 months ago
- A monadic DSL for simple configuration parsing☆25Updated last year
- Integration of the Warp webserver with Let's Encrypt☆18Updated 8 years ago
- Extensible type-safe unions for Haskell☆33Updated 6 months ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated last week
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- ☆9Updated 9 years ago
- ☆24Updated 4 years ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- high-level stream sockets in haskell☆17Updated last year
- Unpinned byte arrays in GHC haskell☆22Updated 6 years ago
- Kleene algebra, regular expressions☆32Updated last year
- Use hpack's phrasing in dhall to write cabal files☆31Updated 2 months ago
- Cloud Haskell Supervision Trees☆11Updated 6 months ago
- GHCJS FFI bindings to the Electron API (WIP).☆10Updated 7 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Updated 9 years ago
- Haskell space profiling toolset☆14Updated 6 years ago
- HTML to Hamlet converter☆16Updated 5 years ago
- The most complete prelude formed only from the "base" package☆29Updated last year
- Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated 10 months ago
- Surgery for generic data types☆25Updated 4 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated last week
- A faster date and time library based on time☆47Updated last month
- Fuzzy string search in Haskell☆14Updated last year
- Experimental implementation of generic record subtyping☆18Updated 10 months ago
- Haskell dynamic RTS loader☆13Updated 8 years ago