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
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 5 months 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
- tiny hack for colored pretty-printing within ghci☆20Updated 2 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Invertible parsing for S-expressions☆33Updated last month
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Safe web routing in haskell☆30Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Cursor data and manipulation☆21Updated 11 months ago
- Kleene algebra, regular expressions☆32Updated 11 months ago
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated last month
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Updated 9 years ago
- fast utf-8 character sets☆13Updated 2 weeks ago
- Directed rounding and interval arithmetics with builtin floating types☆11Updated 2 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 3 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- GHC prof manipulation script☆30Updated 9 months ago
- Reification of data structures using observable sharing☆28Updated 2 weeks ago
- Haskell interface to WebKitGTK+☆17Updated 8 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆9Updated last year
- Streaming csv parser using cassava and pipes☆20Updated 8 years ago
- High-performance JSON parser☆24Updated 6 months ago