bollu Goto Github PK

cassowary

A pure python implementation of the Cassowary constraint solving algorithm.

cellularautomata

a collection of cellular automata written in Haskell with Diagrams

chapel

a Productive Parallel Programming Language

chapel-polly-experiments

A repo to easily experiment with chapel + polly code

chapel_llvm

Collection of reports related to Chapel LLVM project of GSoC 2018

chs

♝♞ Play chess against the Stockfish engine in your terminal.

citra

Nintendo 3DS emulator/debugger

clang

Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.

clisparkline

Tiny haskell library to prettyprint sparklines onto the CLI!

cmake-raytracer

Ray tracer written in pure CMake

codeforces-contest-solve-tracker

compcert

The CompCert formally-verified C compiler

competitive

Competitive coding solutions

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

concurrent

Yet another concurrent playground

condition

A 64KB WebGL Intro. Appeared in Revision 2021, PC 64KB Intro Compo

configurations

Vim, git, other configuration files

continuations-study-group

contravariant

Haskell 98 contravariant functors

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

A plugin for Coq to add dependent pattern-matching.

coq-polyhedra

Formalizing convex polyhedra in Coq

coremlir

Encoding of GHC Core inside MLIR

course

Functional Programming Course

coxeter

Coxeter is a library for the study of combinatorial aspects of Coxeter group theory

cpdt

My copy of Adam Chlipala's "Ceritifed Programming with Depdendent types" with exercises solved.

cpp-achilles

the compier/transpiler for a custom programming language tentatively named "achilles"

cppman

C++ 98/11/14 manual pages for Linux/MacOS

ctf-tools

Some setup scripts for security research tools.

cubicaltt

Experimental implementation of Cubical Type Theory