alxbnct Goto Github PK

conversations

Conversations is an open source XMPP/Jabber client for Android

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.

core

Read-only LibreOffice core repo - no pull request (use gerrit instead https://gerrit.libreoffice.org/) - don't download zip, use https://dev-www.libreoffice.org/bundles/ instead

core-1

Scheme's commonly used small functions

cosmopolitan

build-once run-anywhere c library

cppsnake

A simple C++ implementation of Snake, using the scape and keys terminal and keyboard input libraries, respectively

cppsrc

cpython

The Python programming language

crates.io-index

Registry index for crates.io

csharplang

The official repo for the design of the C# programming language

cspostgraduate-408

💯 CSPostgraduate 计算机考研 408 专业课资料及真题资源

cve-2021-4154

CVE-2021-4154 exploit

cyclone

:cyclone: A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system capable of generating fast native binaries.

cyclone-language

My branch of the Cyclone programming language

daedalus

No root required Android DNS modifier and Hosts/DNSMasq resolver.

dash.el

A modern list library for Emacs

ddnet

DDraceNetwork, a cooperative racing mod of Teeworlds

define-structure

Chicken egg with a QobiScheme-compatible define-structure macro

diff-hl

Emacs package for highlighting uncommitted changes

diff-so-fancy

Good-lookin' diffs. Actually… nah… The best-lookin' diffs. :tada:

dmenu

dmenu setup for LARBS

dnsguide

A guide to writing a DNS Server from scratch in Rust

docker-sogo

Run sogo in a docker container.

dockerfiles

Clear Linux-based Docker containers

doneyet

A NCurses based To-Do list manager!

doom

DOOM Open Source Release

dotemacs

My Emacs configuration

dpaste

The Django project driving dpaste.org

drcomplete

DrRacket plugins for better autocompletion

dwm

Luke's build of dwm