Discover @mmaroti Open Source projects

Miklos Maroti (@mmaroti)

mmaroti

Stars
42
Global Rank 385,755 (Top 14 %)
Followers 25
Registered over 13 years ago
Most used languages

Rust
23.1 %

Java
23.1 %

Python
23.1 %

C
7.7 %

Verilog 7.7 %

Tcl 7.7 %

TypeScript
7.7 %
Location 🇭🇺 Hungary
Country Total Rank 811
Country Ranking

Verilog 4

Tcl 8

Rust
22

Java
179

Python
278

C
369

TypeScript
473

cadical-rs

Rust bindings for the CaDiCaL SAT solver

machxo2-dev

Playground for MachXO2 FPGA development

jnisat

Java JNI bindings for the PicoSat and MiniSat SAT solvers

abstalg-rs

Abstract algebraic structures for Rust

prover9-mace4

Prover9-mace4 codebase for modernization

vmcircbuf

Virtual memory backed circular buffer implementation in rust

shared

Just a bunch of java files for universal algebra and other research

provers

A common python interface to multiple theorem proves

prover9

Cleanup of prover9, mace4 and ladr from William McCune

plutosdr-dev

uasat

SAT based universal algebra calculator

bidir-js

Bidirectional transformation library for Brian

vuampire