kliment / explicitcad

Related projects ⓘ

Alternatives and complementary repositories for explicitcad

• Haskell-Things / implicitpipe
  OpenGL 3D viewer for ImplicitCAD
  ☆20Updated last year
• Haskell-Things / HSlice
  HSlice - A Haskell based slicer for 3D printing.
  ☆76Updated 9 months ago
• DistRap / gcodehs
  GCode parser, pretty-printer and processing utils
  ☆14Updated last year
• PortMidi / PortMidi-haskell
  A Haskell module for PortMidi audio library.
  ☆13Updated 3 months ago
• circuithub / haskell-gerber
  A library for parsing Gerbers
  ☆20Updated 9 months ago
• vmchale / phash
  Perceptual hashing command-line tool
  ☆18Updated 7 months ago
• cbiffle / ruckus
  Procedural CAD for Weirdos
  ☆50Updated 5 years ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 6 months ago
• joe-warren / opencascade-hs
  Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library
  ☆48Updated 2 weeks ago
• hasufell / hsfm
  FileManager written in haskell
  ☆15Updated 4 years ago
• msp-strath / Mary
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Updated 9 months ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 3 weeks ago
• obsidiansystems / calculator-tutorial
  Building a calculator with Reflex-FRP
  ☆10Updated 2 years ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 6 years ago
• chrisdone-archive / inflex
  Pure, statically typed, content-addressable, programming language for spreadsheet use
  ☆26Updated last year
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆12Updated 10 months ago
• doublescale / rastermizer
  View 3D models in the terminal
  ☆10Updated 5 years ago
• uwplse / reincarnate-aec
  Reincarnate Artifact for ICFP 2018
  ☆13Updated 4 months ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆15Updated 3 years ago
• gergoerdi / clash-tinybasic
  ☆11Updated 3 years ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆16Updated 8 months ago
• Mathnerd314 / stroscot
  The Stroscot Programming Language
  ☆13Updated 10 months ago
• mpickering / simple-language-client
  A LSP client where events are powered by fsnotify and diagnostics displayed in a simple terminal interface
  ☆26Updated 4 years ago
• MostAwesomeDude / brismu
  A relational interpretation of Lojban
  ☆32Updated this week
• chrisreade / PenroseKiteDart
  Haskell Diagrams for Penrose Kite and Dart non-periodic tilings
  ☆13Updated this week
• ashinkarov / cnn-in-apl
  CNN in APL
  ☆21Updated 2 years ago
• pa-ba / equivalence
  ☆11Updated 10 months ago
• tomahawkins / mecha
  A solid modeling language in Haskell.
  ☆29Updated 12 years ago
• Twinside / svg-tree
  SVG loader/serializer for Haskell
  ☆26Updated last year
• hadronized / smoothie
  Smooth curves via several interpolation modes
  ☆10Updated 4 years ago