-
go-ethereum Public
Forked from ethereum/go-ethereumGo implementation of the Ethereum protocol
Go GNU Lesser General Public License v3.0 UpdatedOct 7, 2024 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Other UpdatedJun 4, 2024 -
rv-predict Public
Code for improved rv-predict and installer
C BSD 3-Clause "New" or "Revised" License UpdatedAug 2, 2022 -
-
-
-
-
csmith Public
Forked from csmith-project/csmithCsmith, a random generator of C programs
C++ Other UpdatedJun 11, 2020 -
pyyaml Public
Forked from yaml/pyyamlCanonical source repository for PyYAML
Python MIT License UpdatedDec 11, 2019 -
pipeline-model-definition-plugin Public
Forked from jenkinsci/pipeline-model-definition-pluginJava UpdatedApr 22, 2019 -
jenkins Public
Forked from jenkinsci/jenkinsJenkins automation server
Java MIT License UpdatedMar 22, 2019 -
llvm-dbas Public
Forked from thestr4ng3r/llvm-dbasLLVM Assembler adding Debug Information at IR Level.
-
flate2-rs Public
Forked from rust-lang/flate2-rsFLATE, Gzip, and Zlib bindings for Rust
C Apache License 2.0 UpdatedOct 19, 2018 -
yaml Public
Forked from snoyberg/yamlSupport for serialising Haskell to and from Yaml.
C Other UpdatedSep 26, 2018 -
rust Public
Forked from rust-lang/rustA safe, concurrent, practical language.
Rust Other UpdatedSep 10, 2018 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedAug 28, 2018 -
haste Public
Forked from pmeredit/hasteHaskell BSD 3-Clause "New" or "Revised" License UpdatedAug 25, 2018 -
im-rs Public
Forked from bodil/im-rsAssorted immutable collection datatypes for Rust
Rust Mozilla Public License 2.0 UpdatedJul 31, 2018 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
mantis Public
Forked from input-output-hk/mantisA Scala based client for Ethereum Classic.
Scala MIT License UpdatedJul 11, 2018 -
solidity Public
Forked from argotorg/soliditySolidity, the Contract-Oriented Programming Language
C++ GNU General Public License v3.0 UpdatedJul 11, 2018 -
evm-semantics-docker Public
Forked from input-output-hk/evm-semantics-dockerDocker image for https://github.com/kframework/evm-semantics/
Shell MIT License UpdatedMay 18, 2018 -
Zarith Public
Forked from ocaml/ZarithThe Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
OCaml Other UpdatedApr 17, 2018 -
secp256k1-ml Public
Forked from dakk/secp256k1-mlElliptic curve library secp256k1 wrapper for Ocaml
OCaml MIT License UpdatedAug 17, 2017 -
secp256k1 Public
Forked from bitcoin-core/secp256k1Optimized C library for EC operations on curve secp256k1
C MIT License UpdatedAug 11, 2017 -
-
evm-semantics Public
Forked from runtimeverification/evm-semanticsModeling EVM in the K framework
Shell Other UpdatedJun 23, 2017 -
rvmatch-eclipse-plugin Public
Forked from runtimeverification/rvmatch-eclipse-pluginJava UpdatedFeb 9, 2017 -
c-semantics Public
Forked from kframework/c-semanticsSemantics of C in K
C Other UpdatedMar 15, 2016 -
Software-Analysis-Benchmark Public
Benchmark Software for Evaluation of Software Analysis Tools
{{ message }}