Skip to content
View mmaroti's full-sized avatar

Organizations

@webgme @tinyos

Block or report mmaroti

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. machxo2-dev machxo2-dev Public

    Playground for MachXO2 FPGA development

    Verilog 8

  2. cadical-rs cadical-rs Public

    Rust bindings for the CaDiCaL SAT solver

    Rust 7 8

  3. jnisat jnisat Public

    Java JNI bindings for the PicoSat and MiniSat SAT solvers

    Java 5

  4. prover9-mace4 prover9-mace4 Public

    Prover9-mace4 codebase for modernization

    Python 5 3

  5. vmcircbuf vmcircbuf Public

    Virtual memory backed circular buffer implementation in rust

    Rust 5

  6. abstalg-rs abstalg-rs Public

    Abstract algebraic structures for Rust

    Rust 5 1