chobbes Goto Github PK

274-style

Some style suggestions for CMPUT 274

abstractagdabra

Some practice with Agda going through abstract algebra exercises.

adafruit-gfx-library

Adafruit GFX graphics core library, this is the 'core' class that all our other graphics libraries (will eventually) derive from. Still beta (but working)

agda

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

ardcheck

Static code analysis and style checking for Arduino code because why not?

arduino

open-source electronics prototyping platform

attoissue

bananaday

Playing with reactive banana for fun and profit.

batchmtlr

Run the PSSP MTLR program from http://pssp.srv.ualberta.ca/downloads/new across numerous training sets.

bb

bctfcs

Basic Category Theory for Computer Scientists in Coq

bf-jr

Brainfuck compiler for MIPs Jr. for CMPUT 329.

bluebird

:bird: :zap: Bluebird is a full featured promise library with unmatched performance.

c495-presentation-2015

Presentation on Formal Verification / Coq / Whatever.

cagdagorytheory

Catagory theory exercises in Agda.

calgary_e_vent

Development of a Calgary-based version of the MIT Emergency Ventilator

chcheckers

Game of checkers written in Haskell. Will be a wubby-wubsite eventually.

cheno

A collection of C libraries for Stenography.

chobberlay

Gentoo overlay for various packages that I might want.

chug

C suggestions and linting.

cis501-1

CIS 501: Computer Architecture Spring 2019

cofq

System F in Coq

company-emoji

company-mode backend for emoji

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-enigma

Formalization of some properties of Enigma machines in Coq.

coq-ll

Formalization of Linear Logic in Coq

coq-min-imports

Script to remove unnecessary module imports from Coq sourcess

coq-module-extraction-bugs

Messing around with Coq modules and breaking things.

coq-printf

Implementation of sprintf for Coq

coqplexity

Reasoning about complexity classes in Coq with Coquelicot