Elarnon

benchmarks

Benchmark code

cbindgen

A project for generating C bindings from Rust code

clap

A full featured, fast Command Line Argument Parser for Rust

Cockatrice

A cross-platform virtual tabletop for multiplayer card games

CompCert

The CompCert formally-verified C compiler

cpython

The Python programming language

django-cas-ng

Django CAS (Central Authentication Service) client

Fantasy-Map-Generator

Web application generating interactive and highly customizable maps

Halide

a language for fast, portable data-parallel computation

irc

lexica

Word Game for Android - A fork of lexic (https://code.google.com/p/lexic)

libsvm

Magic-Token

Tokens.xml for M:tG

mangaki

Site de recommandation de mangas et d'anime

nixpkgs

Nix Packages collection

node-tracer

Tracer extension to V8 in node.js.

ocaml

The core OCaml system: compilers, runtime system, base libraries

or-tools

Google's Operations Research tools

pf-buffs

pf-spells

pliss-2019

Slides for PLISS 2019

popper.js

A kickass library to manage your poppers

pyanthologger

IRC quote bot to use with irctk

recap-thurnage

telamon

A framework to find good combinations of optimizations for computational kernels on GPUs.

tensorflow

Computation using data flow graphs for scalable machine learning

weechat-android

Simple Weechat-Relay Android Client

Zettlr

A Markdown Editor for the 21st century.

zettlr-docs

This repository holds the official documentation of Zettlr

zprezto