pythonesque Goto Github PK

3dpac.rs

Now with more dimensions!

airshipper

A cross-platform Veloren launcher.

bbcode

A pure python bbcode parser and formatter.

blog

Some notes on things I find interesting and important.

blog_os

Writing an OS in Rust

cdjango

C template library loosely inspired by Django's.

cell-gc

A very small GC in Rust, with a safe API

chef

A systems integration framework, built to bring the benefits of configuration management to your entire infrastructure.

chef-impractical-programming

A blank Chef repository - use as a base to build your own

clock-bound

Used to generate and compare bounded timestamps.

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-guarded-computational-type-theory

dark-souls-100-percent-tracker

Tracker made to keep track of all the objectives in a Dark Souls 100% speedrun

delivery-cli

An experimental delivery cli

dependent_traits

A dependent type system built entirely in Rust's trait system (WIP).

egui_wgpu_backend

Backend code to use egui with wgpu.

elm-compiler

Compiler for the Elm programming language. Elm aims to make web development more pleasant. Elm is a type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript.

elm-core

Elm's core libraries

erforum

Forum backend written in Erlang.

fallthrough

Simple fallthrough match for Rust.

ffwd

This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.

gapbuffer

GapBuffer data structure in Rust.

gitolite

Hosting git repositories -- Gitolite allows you to setup git hosting on a central server, with very fine-grained access control and many (many!) more powerful features. [IMPORTANT: please click and read the WIKI link above before submitting issues, pull requests, etc]

grammar.rs

Grammar platformer

guillotiere

A dynamic texture atlas allocator with fast deallocation and rectangle coalescing.

gx

gx language implementation

hm

immix-rust

impractical-web-server

Because if there's one thing the world needs, it's a brand new implementation of an HTTP server in C!