learnyou / lysa

Related projects: ⓘ

• exercism / idris
  Exercism exercises in Idris.
  ☆31Updated 2 weeks ago
• massysett / penny
  ☆28Updated this week
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• chrisdone / haskell-style-guide
  ☆94Updated 8 years ago
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 8 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• purcell / adventofcode2016
  Advent of Code 2016, in Haskell
  ☆15Updated 6 years ago
• kiberpipa / nix-rehash
  Nix development utils that will blow up your mind
  ☆44Updated 8 years ago
• hjwylde / git-fmt
  WIP: A custom git command for formatting code
  ☆11Updated 6 years ago
• edolstra / nix-repl
  REPL for Nix
  ☆42Updated 7 years ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆35Updated 2 years ago
• ajhager / airnix
  ☆28Updated this week
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆54Updated 11 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• JustusAdam / marvin
  The paranoid bot (framework)
  ☆53Updated 2 years ago
• sourrust / karver
  A simple template engine inspired by jinja2
  ☆23Updated 9 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆109Updated 10 years ago
• Fuuzetsu / nix-project-defaults
  I like to work inside nix-shell and I'd like to git track my .nix files for projects but I don't want to push my .nix files upstream. Her…
  ☆30Updated 5 years ago
• Happstack / happstack-foundation
  ☆8Updated 2 years ago
• chrisdone / ircbrowse
  An IRC analysis server.
  ☆81Updated 6 years ago
• michaelschade / hs-stripe
  A Haskell implementation of the Stripe API.
  ☆34Updated 8 years ago
• fpco / stackage-cli
  ☆28Updated 9 years ago
• takenobu-hs / type-introduction-illustrated
  Haskell type introduction illustrated
  ☆17Updated 7 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 9 years ago
• dysinger / purescript-mode
  Emacs mode for PureScript
  ☆44Updated 6 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆52Updated 8 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆121Updated 6 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆34Updated 6 years ago
• fractalide / nixcrates
  DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index
  ☆14Updated 7 years ago