ghorn / not-gloss
easy 3d plotting in haskell
☆27Updated 2 years ago
Alternatives and similar repositories for not-gloss
Users that are interested in not-gloss are comparing it to the libraries listed below
Sorting:
- ☆21Updated 2 years ago
- ☆32Updated 6 years ago
- Verified left pad☆19Updated 7 years ago
- ☆39Updated 7 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- A game about exponential growth written in Haskell☆31Updated 9 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Comma (and other) separated values☆78Updated last year
- Make presentations for data types☆25Updated 3 years ago
- Haskell library for semigroup actions and torsors☆62Updated 3 months ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- Relational algebra☆25Updated 8 years ago
- ☆45Updated 3 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Agda-style equational reasoning in Haskell☆53Updated last month
- Search Haskell source code from the command line☆75Updated 4 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Text-based interactive GHC .prof viewer☆48Updated last year
- Quake 3 map viewer in Haskell using GPipe☆31Updated 7 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Show programming language printed values in a web UI☆24Updated 6 years ago
- Generic random generators☆81Updated 2 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 2 months ago
- skeleton ghc/ghcjs project using nix, stack, cabal, reflex-platform, intero☆21Updated 8 years ago
- A library for generic programming that aims to be easy to understand☆26Updated last month
- An example of reflex-dom built by Stack☆23Updated 8 years ago