wilbowma Goto Github PK

accelerate

Embedded language for high-performance array computations

adam-mscthesis

agda-experiments

Some experiments with modeling in Agda

ananicy

Ananicy - is Another auto nice daemon, with community rules support (Use pull request please)

caldav-infer-freebusy

A Python script to generate a free/busy iCalendar from a server that doesn't support free/busy requests

calendrino

Render iCal calendar files as a convenient visual HTML calendar

canvas-to-fsc

A script to automatically reformat a Canvas gradebook to a FSC gradebook

cbneed-model-agda

cc-meta

ccv-scrbl

a WIP DSL in Scribble for generating CCV

cdav-library

:date: 📇 CalDAV and CardDAV client library for JavaScript

chk

chk - a minimal tester

cic-redex

A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.

cic-wf

ckanren

classy

Course management and automation.

compiler-theory

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq.vim

Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.

cpanel-ddns

A script to automatically edit the ZoneEdit record on CPanel, allowing you to create your own DDNS server.

cps-from-stlc-to-sysf

Modeling a CPS translation from STLC to System F in Coq using Locally Nameless

crash-coq

An example of a linking error triggering a segfault when linking extracted Coq code to OCaml.

cs2500-client

Handin client package Northeastern's CS2500.

cs2500-grades

cs2500-scripts

cs2500-server

csrankings

A web app for ranking computer science departments according to their research output in selective venues.

cunittest

Python's unittest library, with threads.

cur

A less devious proof assistant

cur-control

An implementation of control operators for Cur.