Awesome Open Source

Programming Languages

Search results for haskell emacs

74 search results found

Emacs.d ⭐ 6,730

An Emacs configuration bundle with batteries included

Haskell Mode ⭐ 1,297

Emacs mode for Haskell

Intero ⭐ 1,015

Emacs Haskell Tutorial ⭐ 653

Tutorial on setting up Emacs to do Haskell programming

The Pact Smart Contract Language

Cubicaltt ⭐ 547

Experimental implementation of Cubical Type Theory

Haskell Emacs ⭐ 349

Write Emacs extensions in Haskell

Cedille ⭐ 305

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Lsp Haskell ⭐ 217

lsp-mode ❤️ haskell

.emacs.d ⭐ 208

一个快速且实用的 Emacs 配置

Dotfiles ⭐ 181

Configuration files for XMonad, Emacs, NixOS, Taffybar and more.

OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine

Plfa Zh ⭐ 165

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

The Haskell Refactoring Tool

Hasktags ⭐ 125

Produces ctags "tags" and etags "TAGS" files for Haskell programs

Fundamental Haskell ⭐ 110

Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.

Cabal Fmt ⭐ 103

An experiment of formatting .cabal files

Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp

My emacs config file with support for C/C++, Matlab, Haskell, LaTeX etc.

Run programs in the Emacs buffer holding their source, seeing their output inline, interactively.

Lambda Launcher ⭐ 71

Application launcher in haskell. Mostly Just For Fun.

Virthualenv ⭐ 70

Virtual Haskell Environment builder

Next 700 Module Systems ⭐ 69

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

Fast Tags ⭐ 67

Incremental vi and emacs tags for haskell.

Refscript ⭐ 58

Refinement Types for Scripting Languages

The Spire Programming Language

Emacs Module ⭐ 50

Wrappers around emacs-module.h to write Emacs modules in Haskell

Demo Emacs Haskell ⭐ 39

A tutorial for using Emacs with Haskell projects

Shakespeare Mode ⭐ 34

An emacs major mode for editing hamlet, lucius, and julius files

Ormolu.el ⭐ 31

A formatter for Haskell source code

*DEPRECATED* Emacs interface to Cabal and Stack

Minimal Haskell Emacs ⭐ 28

A minimal emacs configuration for haskell programming

Org Mode ⭐ 28

Parser for Emacs org-mode files

Do things in the browser from Emacs, namely update the stylesheet (but maybe more later)

Emacs Config ⭐ 24

Moderately personalized Emacs config

Utility for showing hours worked within a work month against a target

Hasky Stack ⭐ 22

Interface to the Stack Haskell development tool

Interpreter for functional pure type systems.

Hasky Extensions ⭐ 21

Toggle Haskell language extensions from Emacs

Nix Haskell Mode ⭐ 18

Automatic Haskell setup in Emacs, for Nix users

Flycheck Hdevtools ⭐ 18

Flycheck syntax checker for hdevtools

Company Ghci ⭐ 17

A company backend for haskell

Phoenix Dark Pink ⭐ 16

Phoenix Dark Pink theme port for emacs

A CLI/emacs web/gopher/file browser

Haskell Snippets ⭐ 15

Moved to https://github.com/haskell/haskell-snippets

Ac Haskell Process ⭐ 15

Haskell completion source for Emacs auto-complete package

Intero Nix Shim ⭐ 15

Intero Haskell IDE with Nix instead of Stack

My system configurations, dotfiles, and other miscellanies

Emacs Haskell Unicode Input Method ⭐ 12

Easy typing of Unicode symbols in Emacs, tailored for Haskell sources

Gidl: an Interface Description Language

Org Babel Diagrams ⭐ 10

embed haskell diagrams in emacs org-mode files

Seamless synchronisation of Org files with macOS Reminders

Arc Dark Theme ⭐ 10

Arc dark theme for Emacs

New Purescript Mode ⭐ 10

A new, simple purescript mode for cheap syntax highlighting

Haskell Desktop ⭐ 9

Docker image with Haskell, emacs, vim, SSH server and a desktop environment through X2Go

Haskell code formatting for dogs

Haskell Development Workflows ⭐ 9

Slides and dot GHCi file from the presentation

Haskell Emacs ⭐ 9

The Haskell IDE for Emacs.

Lh Workshop ⭐ 9

Materials for 2-hr LiquidHaskell Workshop

A silly little programming language.

Emamux Ghci ⭐ 7

tmux GHCI controller for Emacs

Emacs Lisp Reconstruction for Indivisuals

A semantic tree-based editor to replace Emacs Org Mode for GTD

Reflex Skeleton ⭐ 6

A skeleton Reflex project with Hpack, Nix and Emacs/HIE/LSP integration

Ghci Completion ⭐ 6

Completion for GHCi commands in inferior-haskell buffers

Slotthe.github.io ⭐ 6

Yasnippet Haskell ⭐ 5

Emacs yasnippet snippets for haskell-mode

My configuration for Arch Linux with dotmake, bspwm, polybar, kitty, doom emacs, neovim, fish and others

Haskell Yet Another Indentation

Ariadne El ⭐ 5

Ariadne plugin for Emacs

Simformat ⭐ 5

Formats haskell import lists

Protoquipper ⭐ 5

Implementation of the Proto-Quipper language

Flymake Haskell Multi ⭐ 5

Syntax-check haskell source in Emacs using both ghc and hlint

Related Searches

Haskell Ghc (1,289)

Types Haskell (1,028)

Language Haskell (853)

Haskell Functional Programming (811)

Emacs Melpa (757)

Haskell Monad (681)

Emacs Elisp (634)

Haskell Hackage (574)

Emacs Org Mode (569)

Haskell Stack (554)

1-74 of 74 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.