Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Emacs Open Source Projects

Open source projects categorized as Haskell Emacs
Emacs.d ⭐ 6,730
An Emacs configuration bundle with batteries included
most recent commit 3 months ago
Haskell Mode ⭐ 1,297
Emacs mode for Haskell
most recent commit 3 months ago
Intero ⭐ 1,015
total releases 39most recent commit 4 years ago
Emacs Haskell Tutorial ⭐ 653
Tutorial on setting up Emacs to do Haskell programming
most recent commit 7 years ago
Pact ⭐ 576
The Pact Smart Contract Language
most recent commit 3 months ago
Cubicaltt ⭐ 547
Experimental implementation of Cubical Type Theory
most recent commit 7 months ago
Haskell Emacs ⭐ 349
Write Emacs extensions in Haskell
most recent commit 8 years ago
Cedille ⭐ 305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
most recent commit 3 years ago
Lsp Haskell ⭐ 217
lsp-mode ❤️ haskell
most recent commit 6 months ago
.emacs.d ⭐ 208
一个快速且实用的 Emacs 配置
most recent commit 5 months ago
Dotfiles ⭐ 181
Configuration files for XMonad, Emacs, NixOS, Taffybar and more.
most recent commit 4 months ago
Scion ⭐ 180
OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine
total releases 3most recent commit 11 years ago
Plfa Zh ⭐ 165
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
most recent commit a year ago
Hare ⭐ 127
The Haskell Refactoring Tool
total releases 40most recent commit 7 years ago
Hasktags ⭐ 125
Produces ctags "tags" and etags "TAGS" files for Haskell programs
total releases 23most recent commit 5 months ago
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.
most recent commit 2 years ago
Cabal Fmt ⭐ 103
An experiment of formatting .cabal files
most recent commit 3 months ago
Oczor ⭐ 102
Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
most recent commit 6 years ago
Emacs.d ⭐ 95
My emacs config file with support for C/C++, Matlab, Haskell, LaTeX etc.
most recent commit 3 years ago
Halp ⭐ 89
Run programs in the Emacs buffer holding their source, seeing their output inline, interactively.
most recent commit 9 months ago
Lambda Launcher ⭐ 71
Application launcher in haskell. Mostly Just For Fun.
most recent commit 2 years ago
Virthualenv ⭐ 70
Virtual Haskell Environment builder
total releases 3most recent commit 10 years ago
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.
most recent commit 3 years ago
The 8 Latest Releases In Haskell Emacs Open Source Projects
Emacs Module ⭐ 50
Wrappers around emacs-module.h to write Emacs modules in Haskell
total releases 5latest release November 05, 2023most recent commit 6 months ago
Hasktags ⭐ 125
Produces ctags "tags" and etags "TAGS" files for Haskell programs
total releases 23latest release August 10, 2023most recent commit 5 months ago
Org Mode ⭐ 28
Parser for Emacs org-mode files
total releases 14latest release April 19, 2023most recent commit 3 months ago
Fast Tags ⭐ 67
Incremental vi and emacs tags for haskell.
total releases 20latest release June 27, 2022most recent commit 2 years ago
Intero ⭐ 1,015
total releases 39latest release January 09, 2019most recent commit 4 years ago
Hare ⭐ 127
The Haskell Refactoring Tool
total releases 40latest release June 12, 2017most recent commit 7 years ago
Virthualenv ⭐ 70
Virtual Haskell Environment builder
total releases 3latest release January 26, 2015most recent commit 10 years ago
Scion ⭐ 180
OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine
total releases 3latest release January 26, 2015most recent commit 11 years ago
Popular Text Editors Categories
Editor
Vim
Emacs
Neovim
Sublime Text
Viml
Vim Plugin
Nvim
Text Editor
Neovim Plugin
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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