Skip to content
View krtab's full-sized avatar
31 followers · 58 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report krtab

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

  • rust Public

    Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    Rust Other Updated Jul 1, 2024

  • owi Public

    Forked from OCamlPro/owi

    OCaml WebAssembly Interpreter

    WebAssembly GNU Affero General Public License v3.0 Updated Jul 1, 2024

  • .github Public

    Forked from OCamlPro/.github
    Updated Jun 12, 2024

  • kakarot-rpc Public

    Forked from kkrt-labs/kakarot-rpc

    Kakarot ZK EVM Ethereum RPC adapter

    Rust MIT License Updated May 17, 2024

  • gotree Public

    Forked from evolbioinfo/gotree

    Gotree is a set of command line tools and an API to manipulate phylogenetic trees. It is implemented in Go language.

    Go GNU General Public License v2.0 Updated Apr 29, 2024

  • 1BRC Public

    Rust Updated Apr 25, 2024

  • algebra Public

    Forked from arkworks-rs/algebra

    Libraries for finite field, elliptic curve, and polynomial arithmetic

    Rust Apache License 2.0 Updated Apr 22, 2024

  • agnos Public

    Obtain (wildcard) certificates from let's encrypt using dns-01 without the need for API access to your DNS provider.

    dns letsencrypt ssl certificate acme lets-encrypt dns-01
    Rust 289 8 MIT License Updated Apr 19, 2024

  • llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    Other Updated Apr 10, 2024

  • ocaml Public

    Forked from ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    OCaml Other Updated Apr 2, 2024

  • rustc-hash Public

    Forked from rust-lang/rustc-hash

    Custom hash algorithm used by rustc (plus hashmap/set aliases): fast, deterministic, not secure

    Rust Apache License 2.0 Updated Mar 27, 2024

  • opam-depext Public

    Forked from ocaml-opam/opam-depext

    Attempt to automate the installation of system packages required by OPAM packages

    OCaml Other Updated Mar 5, 2024

  • dobble_z3 Public

    Rust Updated Feb 29, 2024

  • encoding Public

    Forked from formalsec/smtml

    An OCaml SMT abstraction layer for constraint solvers.

    OCaml GNU General Public License v3.0 Updated Feb 23, 2024

  • perf-bench-orchestrator Public

    A perf based bench tool

    Rust Updated Feb 20, 2024

  • Test-Comp Public

    Forked from formalsec/Test-Comp

    Test-Comp benchmarking scripts for wasp-c

    Python Updated Feb 16, 2024

  • arbitrary Public

    Forked from rust-fuzz/arbitrary

    Generating structured data from arbitrary, unstructured input.

    Rust Apache License 2.0 Updated Jan 17, 2024

  • waspc Public

    Forked from formalsec/waspc

    OWI's C frontend

    C Apache License 2.0 Updated Jan 5, 2024

  • rust-clippy Public

    Forked from rust-lang/rust-clippy

    A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

    Rust Other Updated Jan 5, 2024

  • utf8caseinplace Public

    Rust Updated Dec 15, 2023

  • rust-companies Public

    Forked from omarabid/rust-companies

    A list of companies using Rust in production.

    Updated Dec 6, 2023

  • scaphandre Public

    Forked from hubblo-org/scaphandre

    ⚡ Energy consumption metrology agent. Let "scaph" dive and bring back the metrics that will help you make your systems and applications more sustainable !

    Rust Apache License 2.0 Updated Nov 30, 2023

  • rc_bump Public

    An arena for heterogeneous types and no lifetimes

    Rust 1 Updated Nov 9, 2023

  • rfcs Public

    Forked from rust-lang/rfcs

    RFCs for changes to Rust

    Markdown Apache License 2.0 Updated Oct 27, 2023

  • regex Public

    Forked from rust-lang/regex

    An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

    Rust Apache License 2.0 Updated Oct 25, 2023

  • nom Public

    Forked from rust-bakery/nom

    Rust parser combinator framework

    Rust MIT License Updated Oct 21, 2023

  • serde_deser_iter Public

    Iterate through serialized sequences allowing to aggregate them without deserializing to an allocated collection.

    Rust Updated Oct 16, 2023

  • gnucobol Public

    Forked from OCamlPro/gnucobol

    A clone of the sourceforge GnuCOBOL compiler from COBOL to C.

    C GNU Lesser General Public License v3.0 Updated Sep 15, 2023

  • rust-embed Public

    Forked from pyrossh/rust-embed

    Rust Macro which loads files into the rust binary at compile time during release and loads the file from the fs during dev.

    Rust MIT License Updated Jul 29, 2023

  • time Public

    Forked from time-rs/time

    The most used Rust library for date and time handling.

    Rust Apache License 2.0 Updated Jul 18, 2023