joe-warren / opencascade-hs
Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library
☆53Updated this week
Alternatives and similar repositories for opencascade-hs:
Users that are interested in opencascade-hs are comparing it to the libraries listed below
- GHC plugin to desugar ! into do-notation☆37Updated 3 weeks ago
- A structured concurrency library☆86Updated last month
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆44Updated this week
- Interpret Haskell programs into any cartesian closed category.☆58Updated 2 months ago
- Haskell wrapper for iced☆30Updated 2 weeks ago
- The PureScript Package Manager in Nix☆57Updated 3 months ago
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 3 years ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆57Updated 4 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 2 weeks ago
- Algebraic effects in the Bluefin effect system☆16Updated 10 months ago
- Format Haskell package descriptions.☆51Updated 3 weeks ago
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆92Updated 7 months ago
- ☆24Updated 8 months ago
- Reproducible PureScript projects with Nix☆23Updated last week
- Example uses of linear types☆43Updated 4 years ago
- Set breakpoints using a GHC plugin☆49Updated 10 months ago
- Typed HTML with simplified layout, and easy composable styles. Inspired by Tailwindcss and Elm UI☆46Updated 3 weeks ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Bidirectional Parsing. Work in Progress☆32Updated 6 months ago
- Automatically generate Haskell bindings from C header files☆38Updated this week
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Haskell QuasiQuoter for String Formatting☆68Updated 2 months ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- high-powered optics in a small package☆54Updated 5 months ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated this week
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- A cross-platform driver for Tauri in Haskell☆50Updated 9 months ago
- Generates a references DB from .hie files☆65Updated 8 months ago
- ☆45Updated last month