learnyou / lysa

Related projects ⓘ

Alternatives and complementary repositories for lysa

• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 4 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• exercism / idris
  Exercism exercises in Idris.
  ☆32Updated 3 weeks ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• Happstack / happstack-foundation
  ☆8Updated 2 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆121Updated 6 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 8 years ago
• geekyfox / antiblog.hs
  ☆16Updated 8 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• dysinger / purescript-mode
  Emacs mode for PureScript
  ☆44Updated 6 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆41Updated 10 years ago
• sourrust / karver
  A simple template engine inspired by jinja2
  ☆23Updated 9 years ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆22Updated 8 years ago
• chrisdone-archive / purify
  Reproducible builds for PureScript
  ☆73Updated 6 years ago
• bvssvni / rust-idris-fs
  An attempt at writing C libraries in Rust that can be called from Idris
  ☆22Updated 9 years ago
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 8 years ago
• mrkkrp / ebal
  *DEPRECATED* Emacs interface to Cabal and Stack
  ☆29Updated 6 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 9 years ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆35Updated 2 years ago
• paf31 / purescript-jquery
  Type declarations for jQuery
  ☆30Updated 4 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 9 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 10 years ago
• nominolo / atto-lisp
  Efficient parsing and encoding of Lisp expressions for Haskell.
  ☆24Updated 4 years ago
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆16Updated 8 years ago
• ktvoelker / standalone-haddock
  Generate standalone haddock documentation for a set of packages
  ☆27Updated 4 years ago
• ltext / ltext
  λtext - higher-order file applicator
  ☆36Updated 10 months ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• purescript-emacs / emacs-psci
  Major mode for psci (purescript's repl)
  ☆17Updated 11 months ago