More
More
-
accelerate Public
Forked from AccelerateHS/accelerateEmbedded language for high-performance array computations
-
-
-
Ananicy Public
Forked from nefelim4ag/AnanicyAnanicy - is Another auto nice daemon, with community rules support (Use pull request please)
Python GNU General Public License v3.0 UpdatedAug 27, 2020 -
caldav-infer-freebusy Public
A Python script to generate a free/busy iCalendar from a server that doesn't support free/busy requests
-
calendrino Public
Forked from danstowell/calendrinoRender iCal calendar files as a convenient visual HTML calendar
Python GNU General Public License v3.0 UpdatedJan 6, 2021 -
canvas-to-fsc Public
A script to automatically reformat a Canvas gradebook to a FSC gradebook
-
-
-
-
cdav-library Public
Forked from nextcloud/cdav-library📅 📇 CalDAV and CardDAV client library for JavaScript
JavaScript GNU Affero General Public License v3.0 UpdatedMay 9, 2021 -
-
cic-redex Public
A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.
-
cic-wf Public
Forked from jsacchini/cic-wfHaskell GNU General Public License v3.0 UpdatedJun 7, 2019 -
-
classy Public
Forked from ubccpsctech/classyCourse management and automation.
TypeScript MIT License UpdatedFeb 29, 2020 -
-
coq Public
Forked from ionathanch/coqCoq 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 develo…
OCaml GNU Lesser General Public License v2.1 UpdatedAug 28, 2019 -
coq.vim Public
Forked from jvoorhis/coq.vimPathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.
Vim Script UpdatedSep 28, 2014 -
cpanel-ddns Public
A script to automatically edit the ZoneEdit record on CPanel, allowing you to create your own DDNS server.
-
cps-from-stlc-to-sysf Public
Forked from philomates/cps-from-stlc-to-sysfModeling a CPS translation from STLC to System F in Coq using Locally Nameless
Coq UpdatedJul 21, 2014 -
crash-coq Public
An example of a linking error triggering a segfault when linking extracted Coq code to OCaml.
-
cs2500-client Public
Forked from nuprl/cs2500-clientHandin client package Northeastern's CS2500.
Racket UpdatedSep 23, 2014 -
-
-
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues.
Python Other UpdatedJan 2, 2019 -
-
cur Public
A less devious proof assistant
-
cur-control Public
An implementation of control operators for Cur.