xavierpinho

phan

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

tolerant-php-parser

An early-stage PHP parser designed for IDE usage scenarios.

t

A command-line todo list manager for people that want to finish tasks, not organize them. (git mirror)

lawvere

A categorical programming language with effects

MicroHs

Haskell implemented with combinators

cpg

A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.

compiler

The adventures of a Haskell compiler

pie-hs

An implementation of Pie in Haskell

kalyn

⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.

gumtree-spoon-ast-diff

Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees

ghc-whole-program-compiler-project

GHC Whole Program Compiler and External STG IR tooling

sasylf

Educational Proof Assistant for Type Theory

Domemtech.Trash

Toolkit for grammars

purescript-lua

Purescript compiler back-end for Lua

grisette

A monadic library for symbolic evaluation

miranda

Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://codesync.global/media/open-sourcing-miranda-david-turner-code-mesh-v-2020-codemeshv2020/

lambda-calculus-hs

Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques

design-patterns-for-parser-combinators

A Really Cool Calculator written in Haskell... or is it?

PropR

Genetic program repair using GHC

analysis-net

Static analysis framework for .NET programs.

interact

Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf

net-ssa

net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.

call-cc-krivine

A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.

nemo-lang

A small procedural programming language that compiles to Wasm GC

smallprolog

Small Prolog V2 by Henri de Feraudy

InfinitePrimes

A proof of the infinitude of primes in Lean 4 from first principles

FindUnion

An imperative implementation of disjoint-set data structure in Haskell

SymEx

Abstract Proven Symbolic Execution Engine

ruruby-parse