carlostome Goto Github PK

2016-cpd

Concepts of program design

2017-afp

agda

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

agda-prelude

Programming library for Agda

agda-stdlib

The Agda standard library

agda-steroids

Minimal Prelude fully compatible with agda standard library

ants-1

AFP 2017 Ants exercise

autoinagda

An implementation of a first-order auto tactic for Agda, in Agda.

autoinagda-benchmark

autoinagda-ecosc

Repository for my experimentation project with AutoInAgda

cabal

Official upstream development repository for Cabal and cabal-install

cat

A formalization of category theory in cubical Agda

conway-game

John Conway's Game of Life implemented in Haskell using RePa

csp-haskell

Constraint satisfaction problem (CSP) solvers for Haskell

cubical

An experimental library for Cubical Agda

dcc-as-reader-monad

diagrams-ghcjs

diagrams backend that renders directly to an HTML5 canvas

dissection-thesis

My MSc Thesis on: Verified tail-recursive folds through dissection

doom

Doom Emacs Private Module

dotty

Research platform for new language concepts and compiler technologies for Scala.

fgl

A Functional Graph Library for Haskell

foundation

Empire strikes back

funflow

Control-flow analysis

harmony

A web service specification compiler that generates implementation and tests

hcrawler

A simple webCrawler written in Haskell

hnix

A Haskell re-implementation of the Nix expression language

home-manager

Manage a user environment using Nix

ipl

Agda formalization of Intuitionistic Propositional Logic

javalette-compiler

A full-compiler of a C-like language

k

Mechanization of Fitch-style Intuitionistic K