hotg-rune-core
Core abstractions and types used across the Rune platform.
Latest release 0.4.0 - Published - 20 stars
multi-skill
Skill estimation systems for multiplayer competitions
Latest release 0.1.2 - Updated - 24 stars
hotg-rune-proc-blocks
Core tools and abstractions for developing proc blocks in Rune
Latest release 0.4.0 - Published - 20 stars
hotg-rune-wasmer-runtime
A Rune runtime backed by wasmer.
Latest release 0.4.0 - Published - 20 stars
hotg-runicos-base-runtime
The runtime side of the runicos/base image.
Latest release 0.4.0 - Published - 20 stars
hotg-rune-syntax
Runefile parsing and analysis.
Latest release 0.4.0 - Published - 20 stars
hotg-runicos-base-wasm
The WebAssembly side of the runicos/base image.
Latest release 0.4.0 - Published - 20 stars
hotg-rune-runtime
Common abstractions and utilities used by Rune runtimes.
Latest release 0.4.0 - Published - 20 stars
hotg-rune-cli
A self-sufficient runtime for TinyML Containers.
Latest release 0.4.0 - Published - 20 stars
hotg-rune-proc-block-macros
Procedural macros for the rune-proc-block crate.
Latest release 0.4.0 - Published - 20 stars
hotg-rune-codegen
Code generation for compiling a Runefile to WebAssembly.
Latest release 0.4.0 - Published - 20 stars
smt2parser
Generic parser library for the SMT-LIB-2 format
Latest release 0.6.0 - Updated - 3 stars
smt2proxy
Binary tool to intercept and pre-process SMT2 commands
Latest release 0.2.4 - Updated - 3 stars
plr
Performs greedy or optimal error-bounded piecewise linear regression (PLR)
Latest release 0.1.6 - Updated - 1 stars
print-nanny-client
Official Print Nanny Rust API Client
Latest release 0.8.19 - Updated - 1 stars
smt2patch
Library and binary tool to patch SMT2 files
Latest release 0.1.1 - Updated - 3 stars
z3tracer
Parser for Z3 tracing logs
Latest release 0.11.1 - Updated - 3 stars
grapheme_to_phoneme
A library for building text to speech applications. Turns graphemes into phonemes.
Latest release 0.1.0 - Updated
cagra-parser
Parser macro for cagra
Latest release 0.1.0 - Published - 4 stars
cagra
Calculation Graph Library
Latest release 0.2.0 - Updated - 4 stars
geochunk
Split a CSV semi-evenly based on ZIP population stats
Latest release 0.1.5 - Updated - 3 stars
License
Keyword
Platform

Subscribe to an RSS feed of this search