kliment / explicitcadLinks
A graphical user interface for implicitcad
☆25Updated 4 years ago
Alternatives and similar repositories for explicitcad
Users that are interested in explicitcad are comparing it to the libraries listed below
Sorting:
- HSlice - A Haskell based slicer for 3D printing.☆79Updated last year
- OpenGL 3D viewer for ImplicitCAD☆21Updated last year
- A Haskell module for PortMidi audio library.☆15Updated last year
- Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library☆67Updated 2 weeks ago
- Haskell types and functions to represent, query, and manipulate the Nixpkgs distribution. | Source has moved to https://github.com/nixos/…☆17Updated 2 years ago
- Automatically generated Nix expressions of Stackage snapshots☆12Updated this week
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆42Updated last month
- FileManager written in haskell☆15Updated 5 years ago
- A solid modeling language in Haskell.☆29Updated 13 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Updated 9 years ago
- ☆20Updated 6 years ago
- GCode parser, pretty-printer and processing utils☆13Updated last year
- Cross compile minimal NixOS to aarch64☆20Updated 7 years ago
- Pure, statically typed, content-addressable, programming language for spreadsheet use☆28Updated 2 years ago
- Simulate keyboard and mouse events using Haskell☆18Updated 10 years ago
- A modal FRP language embedded in Haskell.☆14Updated last year
- A fast email parsing library implemented in Haskell☆26Updated last month
- Exercism exercises in Coq.☆19Updated 11 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- 📺 The power of Haskell in your terminal!☆44Updated 4 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last month
- An automatic declarative ASCIInema recorder☆46Updated 4 months ago
- An attempt to reimagine knowledge interaction.☆18Updated 5 years ago
- A relational interpretation of Lojban☆34Updated 2 months ago
- Morte IDE☆29Updated 6 months ago
- A library for parsing Gerbers☆20Updated 3 months ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 4 months ago
- ☆15Updated 2 years ago
- Static gopherhole generator.☆13Updated 5 months ago