kliment / explicitcadLinks
A graphical user interface for implicitcad
☆25Updated 5 years ago
Alternatives and similar repositories for explicitcad
Users that are interested in explicitcad are comparing it to the libraries listed below
Sorting:
- OpenGL 3D viewer for ImplicitCAD☆22Updated 2 years ago
- HSlice - A Haskell based slicer for 3D printing.☆80Updated last year
- A Haskell module for PortMidi audio library.☆15Updated last year
- A solid modeling language in Haskell.☆29Updated 13 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆17Updated 6 years ago
- Automatically generated Nix expressions of Stackage snapshots☆12Updated last week
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated 2 months ago
- FileManager written in haskell☆15Updated 5 years ago
- A puzzle game with a cat in lead role (Haskell)☆56Updated last year
- GCode parser, pretty-printer and processing utils☆14Updated 2 years ago
- Cross compile minimal NixOS to aarch64☆21Updated 7 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Updated 6 years ago
- Haskell types and functions to represent, query, and manipulate the Nixpkgs distribution. | Source has moved to https://github.com/nixos/…☆17Updated 3 years ago
- Exercism exercises in Coq.☆19Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆39Updated 3 months ago
- Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library☆72Updated last week
- Procedural CAD for Weirdos☆54Updated 7 years ago
- Morte IDE☆29Updated 8 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- A library for parsing Gerbers☆20Updated 6 months ago
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆42Updated 3 weeks ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- Library for invertible parsing and printing☆33Updated 4 months ago
- An SVG backend for diagrams☆51Updated 2 months ago
- Lambda calculus go brrrr☆30Updated 2 years ago
- Jhc: Haskell Compiler☆39Updated 10 years ago
- The Stroscot Programming Language☆13Updated last year
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- Simulate keyboard and mouse events using Haskell☆18Updated 10 years ago
- ☆26Updated 3 years ago