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
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 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
- Haskell to D3.js binding by deep EDSL approach.☆23Updated 10 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- A MOBA written using Haskell, Yampa, and SDL☆25Updated 9 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Haskell library for semigroup actions and torsors☆60Updated last month
- A typed logic programming language embedded in Haskell☆49Updated 12 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 months 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
- Combinators for manipulating dependently-typed predicates.☆12Updated 8 months ago
- A Haskell implementation of 2048 with Reflex.☆13Updated 7 years ago
- Extended FLTKHS demos moved to a separate package to keep the core package free of additional dependencies.☆18Updated 4 years ago
- Reification of data structures using observable sharing☆28Updated 4 months ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 9 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated last month
- Safe web routing in haskell☆30Updated last year
- An experiment in functional interface design☆23Updated 8 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 3 months ago
- Haskell binding for Bullet physics engine☆23Updated 4 years ago
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Updated 9 years ago
- Fast haskell chess move generator library and console UCI frontend☆31Updated 2 months ago
- A fuzzy string set implementation in Haskell.☆10Updated last year
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- backprop primitives for hmatrix☆13Updated 5 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- Overloaded plugin☆30Updated 8 months ago