colah / implicitcad.org
Website for ImplicitCAD
☆15Updated 5 years ago
Alternatives and similar repositories for implicitcad.org:
Users that are interested in implicitcad.org are comparing it to the libraries listed below
- Interactive-diagrams☆39Updated 9 years ago
- A solid modeling language in Haskell.☆29Updated 12 years ago
- OpenGL 3D viewer for ImplicitCAD☆20Updated last year
- ☆14Updated 7 years ago
- A graphical user interface for implicitcad☆23Updated 4 years ago
- Markdown + Tangle.js + (someday) SymPy☆31Updated 3 years ago
- Haskell bindings for OpenCV☆22Updated 9 years ago
- Haskell Hoogle search in Visual Studio Code☆13Updated 6 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Spreadsheet demo in Haskell☆16Updated 5 months ago
- The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence,…☆46Updated 4 years ago
- Timing attack resistant type systems☆24Updated 9 years ago
- Interactive, client-side web apps in Haskell☆147Updated 10 years ago
- Interactive factorization diagrams☆30Updated last year
- Simulating qubits in JavaScript☆12Updated 9 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- n queens with the logic monad☆20Updated 10 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 8 months ago
- GCode parser, pretty-printer and processing utils☆14Updated last year
- DIY Markov Chains.☆25Updated 5 months ago
- Declarative, Compositional Url Handling for WAI☆10Updated last year
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- A categorical framework for circuit construction☆31Updated 8 years ago
- writing on haskell☆33Updated 8 years ago
- Adapton Project Homepage☆16Updated 9 years ago
- Safely running potentially non-terminating functions in Elm.☆10Updated 4 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- HSlice - A Haskell based slicer for 3D printing.☆77Updated last year
- Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)☆20Updated 8 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago