Nexmean's Stars
haskell/vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
typeable/xml-isogen
TemplateHaskell generators for XML-isomorphic data types, instances for parsing and rendering. A convenient DSL to define types.
snoyberg/conduit
A streaming data library
composewell/streamly
High performance, concurrent functional programming abstractions
polysemy-research/polysemy
:gemini: higher-order, no-boilerplate monads
typeable/xsd-isogen
Tool to generate xml-isogen descriptions from xsd files
haskell-works/hw-kafka-client
Kafka client for Haskell, including auto-rebalancing consumers
CategoricalData/CQL
Categorical Query Language IDE
realyarilabs/openapi-schema
Implementing open api schema 3.0 in Haskell
syl20bnr/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
well-typed/optics
Optics as an abstract interface
starship/starship
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
rust-lang/rust-analyzer
A Rust compiler front-end for IDEs
haskell-CI/haskell-ci
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
saschagrunert/kubernix
Single dependency Kubernetes clusters for local testing, experimenting and development
xtruder/kubenix
Replaced by https://github.com/hall/kubenix
haskell/hackage-server
Hackage-Server: A Haskell Package Repository
input-output-hk/nix-tools
Translate Cabals Generic Package Description to a Nix expression
input-output-hk/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
portnov/ghcprofview-hs
GHC .prof files viewer
yi-editor/yi
The Haskell-Scriptable Editor
neovimhaskell/nvim-hs
Neovim API for Haskell plugins as well as the plugin provider
nix-community/home-manager
Manage a user environment using Nix [maintainer=@rycee]
anton-trunov/coq-lecture-notes
Coq Lecture Notes (WIP)
grin-compiler/grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
developers-against-repressions/case-212
Открытое письмо специалистов IT-индустрии в защиту фигурантов «московского дела»
anoma/juvix
A language for intent-centric and declarative decentralised applications
haskell-servant/servant
Servat is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
tommythorn/Reduceron
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.
Marthog/rust-stm
Software transactional memory