ardumont / dot-files

Related projects: ⓘ

• dysinger / purescript-mode
  Emacs mode for PureScript
  ☆44Updated 6 years ago
• chrisdone / flycheck-stack
  ☆22Updated this week
• CodyReichert / shakespeare-mode
  An emacs major mode for editing hamlet, lucius, and julius files
  ☆37Updated 6 years ago
• sergv / emacs-module
  Wrappers around emacs-module.h to write Emacs modules in Haskell
  ☆55Updated 4 months ago
• rkaippully / gamgee
  A command-line replacement for the Google Authenticator App
  ☆25Updated 10 months ago
• jb55 / nix-files
  My NixOS configuration and custom Nix derivations.
  ☆12Updated 3 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• ucsd-progsys / liquid-types-spacemacs
  Spacemacs Layer for LiquidHaskell
  ☆13Updated 7 years ago
• emacs-pe / purescript-mode
  ☆12Updated this week
• bodil / atom-use-package
  Programmatic package configuration for Atom
  ☆23Updated 6 years ago
• chrisdone / ide-backend-mode
  ☆19Updated this week
• ixmatus / orgmode-parse
  Attoparsec parser combinators for parsing org-mode structured text!
  ☆90Updated 6 months ago
• dbushenko / trurl
  Haskell code generator
  ☆22Updated 8 years ago
• michalrus / intero-nix-shim
  Intero Haskell IDE with Nix instead of Stack
  ☆15Updated 6 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆51Updated 9 years ago
• hasky-mode / hasky-extensions
  Toggle Haskell language extensions from Emacs
  ☆22Updated 4 years ago
• psibi / dhall-mode
  ☆44Updated last year
• deech / lambdaconf-shen-talk
  ☆14Updated 8 years ago
• cydparser / spacemacs-intero
  Intero Layer (Abandonware)
  ☆33Updated 7 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• mpickering / hlint-refactor-mode
  Emacs bindings for hlint's --refactor option
  ☆27Updated 5 years ago
• flycheck / flycheck-haskell
  Improved Haskell support for Flycheck
  ☆67Updated last year
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆16Updated 8 years ago
• purescript-emacs / psc-ide-emacs
  Emacs integration for PureScript's psc-ide tool.
  ☆131Updated 8 months ago
• eborden / language-edn
  A Haskell representation of Clojure's EDN
  ☆11Updated 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
• hoodunit / purescript-nix-bootstrap
  Example project for developing PureScript projects with Nix
  ☆19Updated 6 years ago
• hasky-mode / hasky-stack
  Interface to the Stack Haskell development tool
  ☆27Updated 4 years ago