lcnr/cobalt

Stars
1
Language
Rust
License
MIT License
Created over 3 years ago
Updated over 3 years ago

lcnr/cobalt

lcnr

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

a wip minimal proof assistant

crow

A simple pixel perfect 2D rendering engine

akari

A showcase game for the crow rendering engine

rubot

A rust library for easily usable game bots.

-.-

I am using Rust

computer

A simple computer made from scratch

shitty-bot-game

solver-woes

Documenting changes due to the the new trait solver and my worries about stabilization

random-rust-snippets

A collection of Rust code snippets which are interesting or weird

tapir

Adding tapping functionality to rust

diagula

a hacked together diagnostics library

binary

Efficient type based integers

overflow-behavior

playing around with overflow handling of the next gen trait solver for Rust

symcal

A calculator using symbolic execution

boolfuck

A simple boolfuck interpreter made in rust

thesis-talk

my bachelors presentation

tindex

Typed INDEX, a rust library adding a vector and slice with custom index types.

num-bigint-bench

Benchmarks for num-bigint, a big integer library written in Rust

multilevel

search_graph_fuzz

fuzzing for `rustc_search_graph`