Pinned Repositories
addcombq
Additive combinatorics functions in Sage
fixed_vec
Hex
Hex (board game)
pretty_dtoa
technetium
The Technetium Programming Language
Torrencem's Repositories
Torrencem/pretty_dtoa
Torrencem/addcombq
Additive combinatorics functions in Sage
Torrencem/technetium
The Technetium Programming Language
Torrencem/fixed_vec
Torrencem/addcomb-comp
Torrencem/addcomb_kyle
Torrencem/bevel
The Bevel programming language
Torrencem/crowd_xbraid
Torrencem/dirs
a low-level library that provides config/cache/data paths, following the respective conventions on Linux, macOS and Windows
Torrencem/dynamics_census
Torrencem/flint2
FLINT (Fast Library for Number Theory)
Torrencem/FStar
A Proof-oriented Programming Language
Torrencem/haskell-src-meta
Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
Torrencem/IFS-Fractal-Generator
Torrencem/item-lock
OSRS Runelite plugin to lock items, so you don't drop, revert, or sell them on accident
Torrencem/macaw
Open source binary analysis tools.
Torrencem/num_field_quad
Torrencem/number_theory_rs
Torrencem/OMGrit_RIPS_fork
Torrencem/polynomial-rs
Manipulations and data types that represent polynomial
Torrencem/presentation
Torrencem/relray
Simple toy relativistic raycaster / raymarcher
Torrencem/runelite-wardcane-plugin
OSRS: Replace the ward (f) model with the arcane spirit shield
Torrencem/ryu
Fast floating point to string conversion
Torrencem/ryu-floating-decimal
Torrencem/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Torrencem/tnt
Torrencem/type_name_value
Torrencem/wom.py
An asynchronous wrapper for the Wise Old Man API.
Torrencem/xbraid
XBraid Parallel-in-Time Solvers