-
upload-release.nix Public
Upload a Nix asset on releases automatically
-
-
llvm-backend Public
Forked from runtimeverification/llvm-backendKORE to llvm translation
C++ UpdatedFeb 7, 2021 -
nix-shells Public
A collection of non-upstreamable Nix shell expressions
Nix MIT License UpdatedJan 26, 2021 -
nixpkgs-kframework Public archive
Nixpkgs overlay for K Framework packages
-
-
ghcide Public
Forked from haskell/ghcideA library for building Haskell IDE tooling
Haskell Apache License 2.0 UpdatedDec 23, 2020 -
-
haskell.nix Public
Forked from input-output-hk/haskell.nixAlternative Haskell Infrastructure for Nixpkgs
Nix Apache License 2.0 UpdatedDec 19, 2020 -
mavenix Public
Forked from nix-community/mavenixDeterministic Maven builds using Nix?
Nix The Unlicense UpdatedDec 16, 2020 -
brittany Public
Forked from lspitzner/brittanyhaskell source code formatter
Haskell GNU Affero General Public License v3.0 UpdatedDec 15, 2020 -
ghc-exactprint Public
Forked from alanz/ghc-exactprintGHC version of haskell-src-exts exactPrint
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 15, 2020 -
ghc-check Public
Forked from pepeiborra/ghc-checkutility to detect mismatches of ghc api versions
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 10, 2020 -
eventlog-prof Public
Create application-specific profilers for Haskell programs
Haskell UpdatedAug 11, 2020 -
lsp-mode Public
Forked from emacs-lsp/lsp-modeEmacs client/library for the Language Server Protocol
Emacs Lisp GNU General Public License v3.0 UpdatedJun 10, 2020 -
tasty-test-reporter Public
Forked from stoeffel/tasty-test-reporterAn ingredient for tasty that prints a summary and outputs junit xml that works with jenkins.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 2, 2020 -
ghc-events-analyze Public
Forked from well-typed/ghc-events-analyzeHaskell BSD 3-Clause "New" or "Revised" License UpdatedApr 23, 2020 -
wasm-semantics Public
Forked from runtimeverification/wasm-semanticsA Prototype Formal Semantics of WebAssembly in K
WebAssembly Other UpdatedApr 14, 2020 -
ghcide-nix Public
Forked from hercules-ci/ghcide-nixNix installation for ghcide
Nix UpdatedApr 10, 2020 -
async Public
Forked from simonmar/asyncRun IO operations asynchronously and wait for their results
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 2, 2020 -
hie-bios Public
Forked from haskell/hie-biosHaskell BSD 3-Clause "New" or "Revised" License UpdatedNov 6, 2019 -
-
beacon-chain-spec Public
Forked from runtimeverification/beacon-chain-specFormalization of the Beacon Chain Phase 0 Specification in K
TeX Other UpdatedOct 31, 2019 -
github Public
Forked from haskell-github/githubThe github API for Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 19, 2019 -
kilo-rs Public
Build Your Own Text Editor in Rust
Nix GNU General Public License v3.0 UpdatedSep 10, 2019 -
-
-
-
nix-tools Public
Forked from input-output-hk/nix-toolsTranslate Cabals Generic Package Description to a Nix expression
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 28, 2019 -
hlint Public
Forked from ndmitchell/hlintHaskell source code suggestions
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 23, 2019
{{ message }}