Pinned Repositories
abstalg-rs
Abstract algebraic structures for Rust
bidir-js
Bidirectional transformation library for Brian
cadical-rs
Rust bindings for the CaDiCaL SAT solver
jnisat
Java JNI bindings for the PicoSat and MiniSat SAT solvers
machxo2-dev
Playground for MachXO2 FPGA development
plutosdr-dev
prover9-mace4
Prover9-mace4 codebase for modernization
provers
A common python interface to multiple theorem proves
shared
Just a bunch of java files for universal algebra and other research
vmcircbuf
Virtual memory backed circular buffer implementation in rust
mmaroti's Repositories
mmaroti/cadical-rs
Rust bindings for the CaDiCaL SAT solver
mmaroti/machxo2-dev
Playground for MachXO2 FPGA development
mmaroti/abstalg-rs
Abstract algebraic structures for Rust
mmaroti/jnisat
Java JNI bindings for the PicoSat and MiniSat SAT solvers
mmaroti/prover9-mace4
Prover9-mace4 codebase for modernization
mmaroti/vmcircbuf
Virtual memory backed circular buffer implementation in rust
mmaroti/plutosdr-dev
mmaroti/provers
A common python interface to multiple theorem proves
mmaroti/bidir-js
Bidirectional transformation library for Brian
mmaroti/gnuradio
GNU Radio
mmaroti/prover9
Cleanup of prover9, mace4 and ladr from William McCune
mmaroti/uasat
SAT based universal algebra calculator
mmaroti/vuampire
mmaroti/equlearn
Learning equational theories with pytorch
mmaroti/gr-etcetera
Additional PyBOMBS recipes that aren't in gr-recipes
mmaroti/gr-verilog2
Compiles verilog code to executable GNU Radio blocks on the fly
mmaroti/inspectrum
Offline radio signal analyser
mmaroti/iot-hack
IoT Hackathon Szeged
mmaroti/isofind
Testing if two finite structures are isomorphic
mmaroti/mathtorch
some math with pytorch
mmaroti/minisat-stripped
A minimalistic and high-performance SAT solver
mmaroti/mm-covid-19
Modelling COVID-19
mmaroti/plutosdr-fw
PlutoSDR Firmware
mmaroti/prob_engine
mmaroti/relsat
SAT solver for relations (experimental)
mmaroti/relsat-rs
mmaroti/ualang
Playground for formal specifications of math related to universal algebra
mmaroti/uasat-rs
mmaroti/uasat2
SAT based universal calculator in C++
mmaroti/vulkantest