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:
- HSlice - A Haskell based slicer for 3D printing.☆82Updated 2 years ago
- OpenGL 3D viewer for ImplicitCAD☆22Updated 2 years ago
- A solid modeling language in Haskell.☆29Updated 13 years ago
- A Haskell module for PortMidi audio library.☆14Updated last year
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 4 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 4 months ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Updated 6 years ago
- A library for parsing Gerbers☆20Updated 7 months ago
- Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library☆75Updated last month
- SVG loader/serializer for Haskell☆29Updated 2 years ago
- FileManager written in haskell☆15Updated 6 years ago
- An attempt to reimagine knowledge interaction.☆18Updated 5 years ago
- GCode parser, pretty-printer and processing utils☆15Updated 2 years ago
- Library for invertible parsing and printing☆33Updated 5 months ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆44Updated last month
- Static gopherhole generator.☆13Updated 9 months ago
- Resource-AWare Feldspar☆38Updated 3 years ago
- Perceptual hashing command-line tool☆19Updated last week
- Morte IDE☆29Updated 10 months ago
- Automatically generated Nix expressions of Stackage snapshots☆11Updated this week
- A generic 2D cellular automaton simulator☆25Updated 4 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 8 months ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- (DEPRECATED) Front-end of Copilot defining the user language.☆16Updated 4 years ago
- Exercism exercises in Coq.☆19Updated last year
- An automatic declarative ASCIInema recorder☆46Updated 2 months ago
- An SVG backend for diagrams☆51Updated 3 months ago
- Pure, statically typed, content-addressable, programming language for spreadsheet use☆29Updated 2 years ago