Chaddai / CurveProjectLinks
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
Sorting:
- Agda-style equational reasoning in Haskell☆54Updated 4 months ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated last month
- Reification of data structures using observable sharing☆29Updated 10 months ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 8 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- ☆35Updated 11 months ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 6 months ago
- Haskell to D3.js binding by deep EDSL approach.☆23Updated 10 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- Haskell library for PDF generation (graphics and typesetting)☆27Updated 5 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 7 years ago
- Minimal binary serialization library with focus on performance☆25Updated last month
- A MOBA written using Haskell, Yampa, and SDL☆26Updated 10 years ago
- Haskell implementation of data structures for data science☆22Updated last month
- Safe web routing in haskell☆30Updated 2 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Updated 6 years ago
- ☆28Updated last week
- 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
- Generic types and functions for encoding and decoding columns☆44Updated 9 months ago
- Combinators for manipulating dependently-typed predicates.☆14Updated last year
- ☆20Updated 2 years ago
- A collection of Edward Kmett's packages in a single repository☆16Updated 4 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆41Updated this week
- Classes for types where we know all the values☆39Updated 7 months ago
- ☆40Updated 5 years ago
- A fuzzy string set implementation in Haskell.☆10Updated last year
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Updated 9 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- ☆25Updated last week
- ☆21Updated 2 years ago