There are no reviews yet. Be the first to send feedback to the community and the maintainers!
niecza
A Perl 6 compiler targetting the CLR with an experimental focus on optimizations.metamath-turing-machines
metamath proof enumerators and other thingssmetamath-rs
sorear's Metamath system engine - version 3 Rustsmm
sorear's Metamath system enginelibuv-rs
Rust bindings to libuvriscv-specs
UNOFFICIAL bug tracker for the RISC-V specificationsNetHack-Monster-Spoiler
Library of NetHack monster datalibnethack
Stripped down NetHack modified to build as a shared librarydalek-poller
Realtime feed aggregator for the Perl6 ecosystemseptember-ddb
A scale-free database for your heterogenous scale-free networksNetHack-FOV
Bug-compatible NetHack FOV librarymulti-language-ucd
Unicode Character Database access routines for non-ICU platforms, especially C#/CLRfedora-riscv-useremu
Build scripts for RISC-V architecture emulation docker containerArena-Compact
Perl 5 storage manager optimized for spacesmm-webui
Web UI for SMMNetHack-FixedMap
Fixed map data for NetHackyrola
An open-source analytical database focused on write amplificationMooseX-Compact
Moose objects that use much less memorytoypqsnark
independent implementation of a SNARK from Minicrypt assumptions using scipr-lab paperssoric
A declarative IRC client and frameworkset.mm-history
Metamath set.mm historical recordLove Open Source and this site? Check out how you can help us