Chaddai / CurveProject
Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)
☆20Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for CurveProject
- Extended FLTKHS demos moved to a separate package to keep the core package free of additional dependencies.☆18Updated 4 years ago
- 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
- An experiment in functional interface design☆23Updated 8 years ago
- Safe web routing in haskell☆30Updated last year
- ☆19Updated 4 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- ☆13Updated 4 years ago
- Church-encoding of the Freer monad☆29Updated 8 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Testing Infrastructure for Temporal AbstractioNs☆22Updated 4 years ago
- Haskell interface to WebKitGTK+☆17Updated 8 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- A MOBA written using Haskell, Yampa, and SDL☆24Updated 9 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Library and tool for parsing .eventlog files from GHC☆33Updated this week
- Streaming csv parser using cassava and pipes☆20Updated 8 years ago
- Fuzzy string search in Haskell☆14Updated 10 months ago
- Haskell library containing isotopic masses and relative abundances for elements from Hydrogen to Bismuth and Thorium and Uranium (excludi…☆16Updated 5 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Haskell binding for Chipmunk, 2D physics engine.☆22Updated 9 years ago
- Map and Set over contiguous memory☆21Updated last year
- Relational algebra☆25Updated 7 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago