Myhlamaeus's Stars
koalaman/shellcheck
ShellCheck, a static analysis tool for shell scripts
facebookresearch/Detectron
FAIR's research platform for object detection research, implementing popular algorithms like Mask R-CNN and RetinaNet.
antonmedv/fx
Terminal JSON viewer & processor
google/dopamine
Dopamine is a research framework for fast prototyping of reinforcement learning algorithms.
GoogleChromeLabs/carlo
Web rendering surface for Node applications
github/semantic
Parsing, analyzing, and comparing source code across many languages
nix-community/home-manager
Manage a user environment using Nix [maintainer=@rycee]
unifiedjs/unified
☔️ interface for parsing, inspecting, transforming, and serializing content through syntax trees
tweag/asterius
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
smallhadroncollider/taskell
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
chunqiuyiyu/ervy
Bring charts to terminal.
google/haskell-trainings
Haskell 101 and 102: slides and codelabs
google/codeworld
Educational computer programming environment using Haskell
asciinema/asciicast2gif
Generate GIF animations from asciicasts (asciinema recordings)
GaloisInc/HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
grin-compiler/grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
agentm/project-m36
Project: M36 Relational Algebra Engine
NixOS/nixfmt
The official (but not yet stable) formatter for Nix code
nix-community/rnix-lsp
WIP Language Server for Nix! [maintainer=@aaronjanse]
hedgehogqa/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
chrisdone-archive/jl
Functional sed for JSON
mikeizbicki/subhask
Type safe interface for working in subcategories of Hask
haskell-graphql/graphql-api
Write type-safe GraphQL services in Haskell
pushbits/server
A simple server for push notifications via Matrix (and a minimalistic alternative to Pushover and Gotify) 🚀📯
antalsz/hs-to-coq
Convert Haskell source code to Coq source code
telent/nixwrt
This repo is dormant : NixWRT is being rewritten as Liminix
infinisil/all-hies
Cached Haskell IDE Engine Nix builds for all GHC versions
grin-compiler/ghc-grin
GRIN backend for GHC
isovector/type-sets
type level sets
jameysharp/autobake
Create build recipes through automated trial and error