ShellCheck, a static analysis tool for shell scripts

Universal markup converter

Parsing, analyzing, and comparing source code across many languages

Koka language compiler and interpreter

What I Wish I Knew When Learning Haskell

Agda is a dependently typed programming language / interactive theorem prover.

💥💻💥 A data-parallel functional programming language

Homomorphic machine learning

Research language for array processing in the Haskell/ML family

Deep Learning in Haskell

Misc. publications, conference slides, etc. For more, go to https://BartoszMilewski.com

Very low feature GHCi based IDE

A statically typed concatenative systems programming language.

Tensors and neural networks in Haskell

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Embedded language for high-performance array computations

Algebraic graphs

Automatic testing of Haskell programs.

A stream-based runtime-verification framework for generating hard real-time C code.

Minimal implementations for dependent type checking and elaboration

A demo implementation of a simple dependently-typed language

Compiling to Categories

Find broken links in text documents

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 har…

Domain-Specific Languages of Mathematics

Automatic Differentiation

PICARD - Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Models. PICARD is a ServiceNow Research project that was started at Element AI.

A probabilistic programming language

Relational programming in Haskell. Mostly developed on twitch.

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.