kliment / explicitcad
A graphical user interface for implicitcad
☆23Updated 4 years ago
Alternatives and similar repositories for explicitcad:
Users that are interested in explicitcad are comparing it to the libraries listed below
- OpenGL 3D viewer for ImplicitCAD☆20Updated last year
- HSlice - A Haskell based slicer for 3D printing.☆77Updated last year
- Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library☆53Updated this week
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆14Updated last week
- A library for parsing Gerbers☆20Updated last year
- GCode parser, pretty-printer and processing utils☆14Updated last year
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Updated 8 years ago
- View 3D models in the terminal☆10Updated 5 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated 11 months ago
- A Haskell module for PortMidi audio library.☆13Updated 8 months ago
- Procedural CAD for Weirdos☆51Updated 6 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 5 months ago
- A LSP client where events are powered by fsnotify and diagnostics displayed in a simple terminal interface☆26Updated 5 years 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
- Cross compile minimal NixOS to aarch64☆19Updated 6 years ago
- ☆20Updated 6 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Updated 8 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated last year
- My ~/.nixpkgs directory.☆15Updated 5 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆25Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- Haskell library for PDF generation (graphics and typesetting)☆12Updated 2 months ago
- ☆12Updated last year
- FileManager written in haskell☆16Updated 5 years ago
- Easy website generation with hakyll + nix flakes☆17Updated 8 months ago
- SVG loader/serializer for Haskell☆28Updated last year
- The Hadrian build system for GHC☆9Updated 6 years ago