Kit: a magical, high performance programming language, designed for game development. - kitlang/kit

Project management directly from the TODOs in your codebase - GitHub - aviaviavi/toodles: Project management directly from the TODOs in your codebase

A peer-to-peer stack for code collaboration. Contribute to radicle-dev/radicle-alpha development by creating an account on GitHub.

Parsing, analyzing, and comparing source code across many languages - github/semantic

A friendly programming language from the future. Contribute to unisonweb/unison development by creating an account on GitHub.

Research language for array processing in the Haskell/ML family - google-research/dex-lang

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell. - graninas/software-design-in-haskell

Bluespec Compiler (BSC). Contribute to B-Lang-org/bsc development by creating an account on GitHub.

Haskell-style functional programming language running on Erlang VM. - hamler-lang/hamler

The core component that is used to participate in a Cardano decentralised blockchain. - IntersectMBO/cardano-node

Official Haskell IDE support via the language server protocol (LSP) - haskell/haskell-language-server

Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial - raviksharma/bartosz-basics-of-haskell

A library for building Haskell IDE tooling. Contribute to haskell/ghcide development by creating an account on GitHub.