vlopezj Goto Github PK

agda

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

agda-stdlib

The Agda standard library

camlog

Prolog implementation in OCaml

cat13

Chalmers Category Theory Course

coq-course

Coq course at Chalmers CSE

el-get

Manage the external elisp bits and pieces upon which you depend!

enummapmap

EnumMap of EnumMaps.

fhe

free-benchmark

Benchmarks for "free"

full-version

Supplementary materials

gitrev

Compile git revision info into Haskell projects

haskolog

Simple prolog implementation made together with Víctor López

intern-tog

Hash consing for arbitrary Haskell data types

ling

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

ltdata

IRC bot in python

marxup

Markup language on top of Haskell

meeting-logic-and-types-2019

Organization of the Meeting of the CSE Logic & Types Division on 20 September 2019

mistune-contrib

Contribution for mistune.

multiset

multiset haskell package

ncvreg

Regularization paths for SCAD- and MCP-penalized regression models

popl17-abstracts

Unofficial list of abstracts in the POPL17 Conference

python-asciimathml

python ASCIIMathML to Presentation MathML translator

test-tasty-test

tog

typography-geometry

Fork of https://hackage.haskell.org/package/typography-geometry

unordered-containers

Efficient hashing-based container types

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

wl-pprint

A mirror of wl-pprint fixed for GHC 7.10.2

wordpress-plugin-ley-cookie

Plugin para Wordpress que aporta toda la funcionalidad para hacer cumplir la ley de cookies

xcompose

for sharing .XCompose keybindings