Alina Banerjee's repositories
Idris2
A purely functional programming language with first class types
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
diff-so-fancy
Good-lookin' diffs. Actually… nah… The best-lookin' diffs. :tada:
haskell-language-server
Successor of ghcide & haskell-ide-engine. One IDE to rule them all.
network
Low-level networking interface
jepsen
A framework for distributed systems verification, with fault injection
elle
Black-box transactional safety checker based on cycle detection
hlint
Haskell source code suggestions
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Essentials-of-Compilation
A book about compiling Racket to x86-64 assembly
frap
Formal Reasoning About Programs
happy
The Happy parser generator for Haskell
CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
cabal
Official upstream development repository for Cabal and cabal-install
Haskell-Turtle-Library
Shell programming, Haskell style
dune
A composable build system for OCaml.
haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
dhall-haskell
Maintainable configuration files
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
dhall-lang
Maintainable configuration files
llvm-hs
Haskell bindings for LLVM
servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
liquidhaskell
Liquid Types For Haskell
alga
Algebraic graphs
alex
A lexical analyser generator for Haskell
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
hspec
A Testing Framework for Haskell
haddock
Haskell Documentation Tool