Chaddai / CurveProject
Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)
☆20Updated 8 years ago
Alternatives and similar repositories for CurveProject:
Users that are interested in CurveProject are comparing it to the libraries listed below
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- Haskell bindings to the Eigen C++ library☆16Updated 10 months ago
- Haskell to D3.js binding by deep EDSL approach.☆23Updated 10 years ago
- Agda-style equational reasoning in Haskell☆53Updated last week
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 2 weeks ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated last week
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Wave function collapse procedural generation for arbitrary graphs☆15Updated 5 years ago
- Executable examples for Elerea.☆18Updated 8 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 2 months ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 10 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 4 years ago
- Reification of data structures using observable sharing☆29Updated 5 months ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- Haskell binding for Bullet physics engine☆24Updated 4 years ago
- Streaming csv parser using cassava and pipes☆20Updated 9 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- Haskell library for semigroup actions and torsors☆61Updated 2 months ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Model of baysig language in Haskell (minus estimate)☆15Updated 8 years ago
- Cursor data and manipulation☆21Updated last year
- Overloaded plugin☆30Updated 10 months ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- Testing Infrastructure for Temporal AbstractioNs☆23Updated 4 years ago
- A Haskell implementation of 2048 with Reflex.☆13Updated 7 years ago