Beast code in Giters

Miklos Maroti's repositories

cadical-rs

Rust bindings for the CaDiCaL SAT solver

Language:RustMIT7 3 1

machxo2-dev

Playground for MachXO2 FPGA development

Language:VerilogBSD-3-Clause7 40

abstalg-rs

Abstract algebraic structures for Rust

Language:RustMIT5 3 2

jnisat

Java JNI bindings for the PicoSat and MiniSat SAT solvers

Language:JavaMIT5 40

vmcircbuf

Virtual memory backed circular buffer implementation in rust

Language:RustMIT4 30

prover9-mace4

Prover9-mace4 codebase for modernization

Language:Python3 3 1

provers

A common python interface to multiple theorem proves

Language:PythonGPL-3.02 40

bidir-js

Bidirectional transformation library for Brian

Language:TypeScript1 30

gnuradio

GNU Radio

Language:C++GPL-3.01 30

plutosdr-dev

Language:Tcl1 30

prover9

Cleanup of prover9, mace4 and ladr from William McCune

Language:C100

uasat

SAT based universal algebra calculator

Language:JavaGPL-2.01 30

vuampire

Language:PythonGPL-3.01 20

equlearn

Learning equational theories with pytorch

Language:Python030

inspectrum

Offline radio signal analyser

Language:C++GPL-3.0030

iot-hack

IoT Hackathon Szeged

Language:C030

isofind

Testing if two finite structures are isomorphic

Language:C++GPL-3.0020

lambda

Language:JavaNOASSERTION000

mathtorch

some math with pytorch

Language:PythonGPL-3.0020

minikanren

Java implementation of MiniKanren

Language:Java030

minisat-stripped

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION020

mm-covid-19

Modelling COVID-19

Language:PythonGPL-3.0040

plutosdr-fw

PlutoSDR Firmware

Language:TclNOASSERTION020

prob_engine

Language:PythonGPL-3.0020

relsat

SAT solver for relations (experimental)

Language:PythonGPL-3.0030

relsat-rs

Language:RustGPL-3.0030

ualang

Playground for formal specifications of math related to universal algebra

Language:HaskellGPL-3.0030

uasat-rs

Language:RustGPL-3.0020

uasat2

SAT based universal calculator in C++

Language:C++MIT000

vulkantest

Language:Rust030