mmaroti

University of SzegedHungary

Pinned Repositories

abstalg-rs
Abstract algebraic structures for Rust
Language:Rust5 3 21
bidir-js
Bidirectional transformation library for Brian
Language:TypeScript1 3 00
cadical-rs
Rust bindings for the CaDiCaL SAT solver
Language:Rust7 3 17
gnuradio
GNU Radio
Language:C++1 3 00
jnisat
Java JNI bindings for the PicoSat and MiniSat SAT solvers
Language:Java5 4 00
machxo2-dev
Playground for MachXO2 FPGA development
Language:Verilog7 4 00
prover9-mace4
Prover9-mace4 codebase for modernization
Language:Python5 3 13
provers
A common python interface to multiple theorem proves
Language:Python2 4 02
shared
Just a bunch of java files for universal algebra and other research
Language:Java21
vmcircbuf
Virtual memory backed circular buffer implementation in rust
Language:Rust4 3 00

mmaroti's Repositories

mmaroti/cadical-rs
Rust bindings for the CaDiCaL SAT solver
Language:Rust7 3 17
mmaroti/machxo2-dev
Playground for MachXO2 FPGA development
Language:Verilog7 4 00
mmaroti/abstalg-rs
Abstract algebraic structures for Rust
Language:Rust5 3 21
mmaroti/jnisat
Java JNI bindings for the PicoSat and MiniSat SAT solvers
Language:Java5 4 00
mmaroti/prover9-mace4
Prover9-mace4 codebase for modernization
Language:Python5 3 13
mmaroti/vmcircbuf
Virtual memory backed circular buffer implementation in rust
Language:Rust4 3 00
mmaroti/provers
A common python interface to multiple theorem proves
Language:Python2 4 02
mmaroti/bidir-js
Bidirectional transformation library for Brian
Language:TypeScript1 3 00
mmaroti/gnuradio
GNU Radio
Language:C++1 3 00
mmaroti/plutosdr-dev
Language:Tcl1 3 01
mmaroti/prover9
Cleanup of prover9, mace4 and ladr from William McCune
Language:C1
mmaroti/uasat
SAT based universal algebra calculator
Language:Java1 3 0
mmaroti/vuampire
Language:Python1 2 0
mmaroti/equlearn
Learning equational theories with pytorch
Language:Python3 0
mmaroti/inspectrum
Offline radio signal analyser
Language:C++3 0
mmaroti/iot-hack
IoT Hackathon Szeged
Language:C3 0
mmaroti/isofind
Testing if two finite structures are isomorphic
Language:C++2 0
mmaroti/lambda
Language:Java
mmaroti/mathtorch
some math with pytorch
Language:Python2 0
mmaroti/minikanren
Java implementation of MiniKanren
Language:Java3 0
mmaroti/minisat-stripped
A minimalistic and high-performance SAT solver
Language:C++2 0
mmaroti/mm-covid-19
Modelling COVID-19
Language:Python4 0
mmaroti/plutosdr-fw
PlutoSDR Firmware
Language:Tcl2 0
mmaroti/prob_engine
Language:Python2 0
mmaroti/relsat
SAT solver for relations (experimental)
Language:Python3 0
mmaroti/relsat-rs
Language:Rust3 0
mmaroti/ualang
Playground for formal specifications of math related to universal algebra
Language:Haskell3 0
mmaroti/uasat-rs
Language:Rust2 0
mmaroti/uasat2
SAT based universal calculator in C++
Language:C++2 0
mmaroti/vulkantest
Language:Rust3 0