robbepop Goto Github PK

a-tale-of-binary-translation

Simple RISC-V emulator presented at Rust Nation 2023

actix

Actor framework for Rust

actix-net

framework for composable networking services

actix-web

Actix web is a small, pragmatic, and extremely fast rust web framework.

addressable-pairing-heap

An addressable pairing heap implementation for Rust.

ahash

aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction

apint

Arbitrary precision integers library.

atom

:atom: The hackable text editor

awesome-wasm-runtimes

A list of webassemby runtimes

blog

bucket_vec

A vector-like collection that guarantees not to move its internal elements.

candy-kingdom

A collection of SAT solvers and tools for structure analysis in SAT problems.

cargo-expand

Subcommand to show result of macro expansion

cargo-spellcheck-action

Github action for cargo-spellcheck

cargo-tally

Graph the number of crates that depend on your crate over time

ceres

ceres-ts-template

A template repository for setting up TypeScript with Ceres

cionc

The toy-compiler for the Cion programming language.

cionc-old

The compiler front end for the Cion programming language.

clpp

A thin header-only wrapper around OpenCL 2.0+ for modern and highlevel C++.

cnf-parser

Efficient and customizable CNF parser for SAT solving.

cnf-problems

A collection of CNF problems used for SAT solver benchmarks.

compare-runtimes

const-default-rs

A Default-like trait and derive macros for const evaluation contexts.

const-default.rs

cortex-m

Low level access to Cortex-M processors

cppcl

A thin wrapper around OpenCL 1.2- for modern and highlevel C++. [OBSOLETE]

dimacs-parser

Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.

doomwasi

DOOM Open Source Release ported to WebAssembly/WASI

dynarray

Adjusted implementation of std::experimental::dynarray without stack allocation.