Alternatives and similar repositories for explicitcad

Users that are interested in explicitcad are comparing it to the libraries listed below

• Haskell-Things / implicitpipe
  OpenGL 3D viewer for ImplicitCAD
  ☆20Updated last year
• Haskell-Things / HSlice
  HSlice - A Haskell based slicer for 3D printing.
  ☆78Updated last year
• PortMidi / PortMidi-haskell
  A Haskell module for PortMidi audio library.
  ☆13Updated last year
• hasufell / hsfm
  FileManager written in haskell
  ☆15Updated 5 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆30Updated 2 years ago
• tomahawkins / mecha
  A solid modeling language in Haskell.
  ☆29Updated 12 years ago
• joe-warren / opencascade-hs
  Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library
  ☆64Updated 2 weeks ago
• circuithub / haskell-gerber
  A library for parsing Gerbers
  ☆20Updated last month
• input-output-hk / stackage.nix
  Automatically generated Nix expressions of Stackage snapshots
  ☆11Updated this week
• exercism / coq
  Exercism exercises in Coq.
  ☆19Updated 9 months ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆16Updated 6 years ago
• styx / Raincat
  A puzzle game with a cat in lead role (Haskell)
  ☆56Updated 8 months ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated last year
• Twinside / svg-tree
  SVG loader/serializer for Haskell
  ☆29Updated 2 years ago
• NixOS / distribution-nixpkgs
  Haskell types and functions to represent, query, and manipulate the Nixpkgs distribution. | Source has moved to https://github.com/nixos/…
  ☆17Updated 2 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆32Updated last year
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 weeks ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆25Updated 11 months ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆16Updated 4 years ago
• mmsbrggr / hsudoku
  A native gtk sudoku game written in haskell
  ☆34Updated 8 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 9 months ago
• Mathnerd314 / stroscot
  The Stroscot Programming Language
  ☆13Updated last year
• mrkkrp / identicon
  Flexible generation of identicons in Haskell
  ☆16Updated 6 months ago
• DistRap / gcodehs
  GCode parser, pretty-printer and processing utils
  ☆14Updated last year
• diagrams / diagrams-svg
  An SVG backend for diagrams
  ☆50Updated last month
• ElvishJerricco / cross-nixos-aarch64
  Cross compile minimal NixOS to aarch64
  ☆20Updated 7 years ago
• oisdk / site
  Source code for doisinkidney.com
  ☆14Updated 3 months ago
• hsyl20 / HPDF
  Haskell library for PDF generation (graphics and typesetting)
  ☆12Updated 6 months ago
• cbiffle / ruckus
  Procedural CAD for Weirdos
  ☆53Updated 6 years ago