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.