sorear/riscv-specs

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Created about 8 years ago
Updated over 1 year ago

sorear/riscv-specs

sorear

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

UNOFFICIAL bug tracker for the RISC-V specifications

niecza

A Perl 6 compiler targetting the CLR with an experimental focus on optimizations.

metamath-turing-machines

metamath proof enumerators and other things

smetamath-rs

sorear's Metamath system engine - version 3 Rust

smm

sorear's Metamath system engine

libuv-rs

Rust bindings to libuv

NetHack-Monster-Spoiler

Library of NetHack monster data

libnethack

Stripped down NetHack modified to build as a shared library

dalek-poller

Realtime feed aggregator for the Perl6 ecosystem

september-ddb

A scale-free database for your heterogenous scale-free networks

NetHack-FOV

Bug-compatible NetHack FOV library

multi-language-ucd

Unicode Character Database access routines for non-ICU platforms, especially C#/CLR

IO-Pty-HalfDuplex

IO::Pty::HalfDuplex module

fedora-riscv-useremu

Build scripts for RISC-V architecture emulation docker container

Arena-Compact

Perl 5 storage manager optimized for space

smm-webui

NetHack-FixedMap

Fixed map data for NetHack

yrola

An open-source analytical database focused on write amplification

MooseX-Compact

Moose objects that use much less memory

toypqsnark

independent implementation of a SNARK from Minicrypt assumptions using scipr-lab papers

soric

A declarative IRC client and framework

set.mm-history

Metamath set.mm historical record