A graphical user interface for implicitcad
☆25Dec 15, 2020Updated 5 years ago
Alternatives and similar repositories for explicitcad
Users that are interested in explicitcad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OpenGL 3D viewer for ImplicitCAD☆23Nov 12, 2023Updated 2 years ago
- Create a system tray menu from a YAML file with shell commands☆10Updated this week
- Byte-level byte pair encoding (BPE) in Haskell☆17Sep 17, 2026Updated 3 weeks ago
- Intel AMT Serial-Over-LAN (SOL) client☆13Feb 23, 2024Updated 2 years ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...☆1,582Apr 13, 2026Updated 5 months ago
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Oct 23, 2020Updated 5 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated 2 years ago
- Simple Nix derivations to bundle executables☆43Sep 27, 2024Updated 2 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated last week
- Manage CloudFormation Stacks through specifications☆13Updated this week
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Data ingestion for Chainweb.☆15Nov 25, 2025Updated 10 months ago
- LaunchDarkly Server-Side SDK for Haskell☆15Jul 17, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Reversing tools for manipulating Golden Time: Vivid Memories game assets☆10Oct 17, 2024Updated last year
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- A Haskell roguelike toolkit☆12Jul 10, 2025Updated last year
- Support code for talk 'XXIst century shall be typed or not be'☆16Oct 21, 2022Updated 3 years ago
- Library and macros to simplify writing Haskell FFI code☆41Jul 11, 2026Updated 2 months ago
- A Haskell API into HTML5 Canvas☆74May 26, 2026Updated 4 months ago
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 9 months ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- Builds parametric log cabins based on the book "How to build and furnish a log cabin."☆17Sep 13, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A tracer plugin for josm☆13Feb 20, 2026Updated 7 months ago
- The nice-looking GUI for your generative art. With the support of detaching. Written in Elm. https://package.elm-lang.org/packages/shaman…☆12Feb 27, 2024Updated 2 years ago
- A library for parsing Gerbers☆21Apr 17, 2026Updated 5 months ago
- BinderHub example using Nix☆19Nov 20, 2018Updated 7 years ago
- Community operated machine-readable domain-name blacklist☆12Sep 8, 2023Updated 3 years ago
- A library to decode a binary Mode S message to an easy to use JavaScript object☆16Dec 11, 2017Updated 8 years ago
- Combining the power of Nix, Guile & Elm to install NixOS☆15Dec 11, 2017Updated 8 years ago
- CS316 "Functional Programming" lecture notes☆25Oct 2, 2026Updated last week
- Lightweight frontend library for GHC with JavaScript Backend☆18Dec 17, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Easy bidirectional serialization in Haskell☆49Dec 12, 2018Updated 7 years ago
- Portable high-level assembler with authentic C syntax☆27Jul 1, 2022Updated 4 years ago
- Interactive windows for displaying Haskell-generated diagrams☆18Sep 17, 2024Updated 2 years ago
- wc implemented in Haskell☆21Mar 15, 2020Updated 6 years ago
- Abstract, inspectable JSON representation of Haskell objects☆26Jul 4, 2022Updated 4 years ago
- Benchmarks for set data structures: hash sets, dawg's, bloom filters, etc.☆23May 9, 2017Updated 9 years ago
- Useful, efficient, precise binary schema modelling in Haskell☆16Aug 18, 2025Updated last year