UU-ComputerScience / js-asteroids
An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
☆12Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for js-asteroids
- Miscellaneous constructions on monoids☆18Updated 3 months ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 2 weeks ago
- transformers compatibility shim☆10Updated last year
- Pure, total functions!☆14Updated 8 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- ☆21Updated last year
- ☆23Updated 7 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- fast utf-8 character sets☆13Updated 3 weeks ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆14Updated 8 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 6 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- Simple printing with Text☆11Updated 7 years ago
- Tuple data type and utility functions☆26Updated 2 years ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- DSL for attaching documentation to persistent entities☆14Updated 2 months ago
- Talk on generic parallel scan☆14Updated 7 years ago
- A more elegant specification for FRP☆24Updated 10 months ago
- A Purescript interface to Cycle.js using xstream☆10Updated 5 years ago
- A principal solution to ghost threads and silent exceptions☆24Updated last year
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 9 years ago
- Explicitly Typed exceptions as a library☆22Updated 3 years ago
- Source location helpers☆9Updated 8 years ago
- Robust prettyprinter for output of auto-generated Show instances☆18Updated 4 years ago
- A Haskell client library for Cayley database graph☆14Updated 2 months ago
- Lens combinators for fused-effects.☆17Updated 4 years ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago