Beast code in Giters

Antonina Nepeivoda's starred repositories

An introduction to programming language theory in Agda

Language:AgdaCC-BY-4.0135300

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

Language:HaskellNOASSERTION245700

Language:Rust1200

Autoreject.org — An automatic review generator

Language:HTMLMIT6900

Language:Java100

Source material for "Functional Pearl: Getting a Quick Fix on Comonads"

Language:HaskellMIT4500

Research language for array processing in the Haskell/ML family

Language:HaskellBSD-3-Clause158100

Language:Java300

hack

Language:Python100

YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)

Language:HaskellBSD-3-Clause1500

The Termination Problem Database

Language:SMT2700

Компилятор Рефала-5λ

Language:C++NOASSERTION7800

Language:Go100

Framework for automatic analysis of a structure of multi-valued logics

Language:PythonMIT400

Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".

Language:HaskellBSD-3-Clause2900