xavierpinho

xavierpinho's Stars

• phan/phan

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

  Language:PHP5.5k1062.8k359

• zesterer/tao

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

  Language:Rust1.1k13823

• microsoft/tolerant-php-parser

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

  Language:PHP8854817279

• SeaOfNodes/Simple

  A Simple showcase for the Sea-of-Nodes compiler IR

  Language:Java433361931

• augustss/MicroHs

  Haskell implemented with combinators

  Language:Haskell396114929

• kparc/ksimple

  k/simple is a bare minimum k interpreter for learning purposes by arthur whitney

  Language:C35014124

• xdslproject/xdsl

  A Python Compiler Design Toolkit

  Language:Python2952145578

• jameshaydon/lawvere

  A categorical programming language with effects

  Language:Haskell2701375

• blynn/compiler

  The adventures of a Haskell compiler

  Language:Haskell21313416

• david-christiansen/pie-hs

  An implementation of Pie in Haskell

  Language:Haskell204141016

• SpoonLabs/gumtree-spoon-ast-diff

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

  Language:Java161911642

• radian-software/kalyn

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

  Language:Haskell1565223

• SymbolicPathFinder/jpf-symbc

  Symbolic PathFinder

  Language:Java135115291

• antoinemine/apron

  Apron Numerical Abstract Domain Library

  Language:C115116033

• kaby76/Trash

  Toolkit for grammars

  Language:JavaScript8151737

• lsrcz/grisette

  A monadic library for symbolic evaluation

  Language:Haskell583263

• ncihnegn/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/

  Language:C56428

• j-mie6/design-patterns-for-parser-combinators

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

  Language:Haskell41341

• flowr-analysis/flowr

  A program slicer and dataflow analyzer for the R programming language.

  Language:TypeScript3627663

• m-carrasco/net-ssa

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

  Language:C#31240

• Tritlo/PropR

  Genetic program repair using GHC

  Language:Haskell305742

• edgardozoppi/analysis-net

  Static analysis framework for .NET programs.

  Language:C#294815

• kritzcreek/nemo-lang

  A small procedural programming language that compiles to Wasm GC

  Language:Rust143133

• thamugadi/call-cc-krivine

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

  Language:Haskell14101

• ksrky/type-inference

  Type inference algorithms for functional programming languages

  Language:Haskell10100

• ykonstant1/InfinitePrimes

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

  Language:Lean8100

• L-TChen/FindUnion

  An imperative implementation of disjoint-set data structure in Haskell

  Language:Haskell6400

• cbaberle/Parametricity-via-Cohesion

  Language:TeX310

• mbrown1413/SymEx

  Abstract Proven Symbolic Execution Engine

  Language:C#3401

• sisshiki1969/ruruby-parse

  Language:Rust3302