Beast code in Giters

Andreas Abel's repositories

miniagda

A prototypical dependently typed languages with sized types and variances

Language:HaskellMIT112 4 3

ipl

Agda formalization of Intuitionistic Propositional Logic

Language:TeXUnlicense22 30

java-adt

A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).

Language:HaskellUnlicense16 30

agda2lagda

Simple conversion from Agda text to literate Agda text.

Language:HaskellUnlicense14 30

cabal-clean

Remove outdated compilation artefacts left by cabal v2-build

Language:HaskellBSD-3-Clause10 3 2

risc386

Interpreter for symbolic 386 assembler (small fragment) written in Haskell

Language:AssemblyBSD-3-Clause7 30

Sit

Prototypical type checker for Type Theory with Sized Natural Numbers

Language:HaskellMIT6 20

plt-agda

A compiler for a fragment of C using well-typed syntax and well-typed JVM instructions

Language:TeX4 20

agda-scope

Notes and prototypes concerning Agda's scope checker

Language:Haskell3 40

ghcup-metadata

GHCup metadata repository

100

lambda-pi

An implementation of Lambda-Pi in Agda

Language:Agda1 10

pts-agda

A formalization of Pure Type Systems (PTS) in Agda

Language:AgdaNOASSERTION100

agda-Fomega

Old clone of Agda with some branch to compile to Fomega

Language:HaskellNOASSERTION000

agda-for-bisecting

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

Language:HaskellNOASSERTION000

compdata

Haskell library implementing "Data Types a la Carte"

Language:HaskellNOASSERTION000

enummapset

IntMap and IntSet with Enum keys/elements.

BSD-3-Clause000

fix-whitespace

Fixes whitespace issues

NOASSERTION000

GLUT

Haskell bindings to GLUT

Language:HaskellBSD-3-Clause010

happstack-server

An HTTP Server

Language:HaskellBSD-3-Clause010

haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Language:HaskellGPL-3.002 1

heist

An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.

Language:HaskellBSD-3-Clause010

hopenssl

Haskell FFI bindings to the OpenSSL library

Language:HaskellNOASSERTION000

language-python

A parser for Python 2.x and 3.x written in Haskell

Language:Python010

lifted-async

Run lifted IO operations asynchronously and wait for their results

Language:HaskellBSD-3-Clause000

peano.hs

Peano numbers

Language:HaskellNOASSERTION010

setup-agda

Set up a specific version of Agda for your GitHub Actions workflow.

Language:TypeScriptNOASSERTION000

snap

Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.

Language:HaskellBSD-3-Clause000

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:DockerfileMIT010

tasty-silver

A fancy test runner for tasty and support for golden tests.

MIT000

vector-space

Vector & affine spaces, linear maps, and derivatives

NOASSERTION000