mikeplus64 / Level-0

Related projects: ⓘ

• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 7 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆61Updated 2 months ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• schell / odin
  High level 2d game engine written in Haskell.
  ☆30Updated 6 years ago
• esoeylemez / rapid
  Rapid prototyping with GHCi
  ☆55Updated 6 years ago
• isovector / ecstasy
  a GHC.Generics-based entity component system
  ☆78Updated 4 years ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆47Updated 6 years ago
• jonascarpay / apecs-physics
  2D physics and rendering for apecs
  ☆45Updated 5 years ago
• ocharles / hs-quake-3
  Quake 3 map viewer written in Haskell
  ☆34Updated 7 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• kellino / microML
  a simple functional language for learners
  ☆30Updated 7 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 2 years ago
• asivitz / Hickory
  Tools for building 3D interactive programs in Haskell
  ☆65Updated 5 months ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 11 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• nek0 / affection
  ☆18Updated this week
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 6 years ago
• haskell-servant / servant-quickcheck
  ☆40Updated 4 months ago
• haskell-servant / servant-multipart
  Support for file uploads in multipart/form-data for servant
  ☆40Updated 4 months ago
• ocharles / logging-effect
  A very general logging effect for Haskell
  ☆60Updated 4 months ago
• haskell-game / bgfx
  Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.
  ☆32Updated 8 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated 7 months ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 10 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆90Updated 6 years ago
• haskell-game / sdl2-mixer
  Haskell bindings to SDL2_mixer.
  ☆12Updated 3 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆43Updated this week
• ekmett / constraints
  Tools for programming with ConstraintKinds in GHC
  ☆71Updated 2 months ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 4 years ago
• TikhonJelvis / modular-arithmetic
  A useful type for working with integers modulo some constant.
  ☆30Updated last year
• ocharles / netwire-classics
  Classic games recreated in netwire
  ☆93Updated 7 years ago