Matthew Hilty

Typeclass interfaces for generalizing rowtype encapsulations of kind Type

A framework for applied category theory in the Julia language

🍰🔪 Architecture of Haskell backend applications

A topological data analysis library for Haskell

A terminal emulator and lisp interpreter

An efficient dependently-typed systems programming language and proof assistant.

Collection of typeclasses describing unwide subcategories of the default PureScript category 'Function'

Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.

Poly/ML

Facilities for decoding JSON records with Argonaut

An operating function

An advanced static type checker

Exemplary real world application built with PureScript + Halogen

The F# compiler, FSharp.Core library, and tools for F#

⟨Leibniz-Grassmann-Clifford⟩ differential geometric algebra / multivector simplicial complex

GluCat: Clifford algebra templates

🍝 PureScript package manager and build tool powered by Dhall and package-sets

TTK - Topological Data Analysis and Visualization - Source Code

:triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

GRIN backend for GHC

C to Rust translator

WIP implementation of a Haskell-like Lisp in Racket

Research programming language for concurrent ownership

A prototype programming language for programming with runners

An experimental Haskell library for programming with effectful runners.

A dependently typed programming language, a successor to Idris

A statically typed linear functional language with graded modal types for fine-grained program reasoning

A friendly programming language from the future

Lean mathematical components library

A controlled natural language for calculus of inductive constructions, based on Forthel.