-
cpdf-source Public
Forked from johnwhitington/cpdf-sourcePDF Command Line Tools Source
OCaml Other UpdatedMay 1, 2023 -
trustfall Public
Forked from obi1kenobi/trustfallA new, datasource-agnostic way to connect and query datasets
Rust Apache License 2.0 UpdatedJun 19, 2022 -
slurm-docker-cluster Public
Forked from giovtorres/slurm-docker-clusterA Slurm cluster using docker-compose
Dockerfile MIT License UpdatedMar 9, 2022 -
incubator-brpc Public
Forked from apache/brpcIndustrial-grade RPC framework used throughout Baidu, with 1,000,000+ instances and thousands kinds of services. "brpc" means "better RPC".
C++ Apache License 2.0 UpdatedJan 24, 2022 -
cpp_starter_project Public
a starter C++ project using CMAKE and Catch2, etc. from cpp-best-practices/cpp_starter_project
CMake The Unlicense UpdatedDec 28, 2021 -
CrypTen Public
Forked from facebookresearch/CrypTenA framework for Privacy Preserving Machine Learning
Python MIT License UpdatedOct 29, 2021 -
textX-LS Public
Forked from textX/textX-LSLanguage server for domain specific languages based on textX
TypeScript MIT License UpdatedOct 5, 2021 -
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
C++ Other UpdatedAug 23, 2021 -
strymonas Public
Forked from strymonas/strymonas-scalaFast streams for Scala 3
Scala MIT License UpdatedJul 19, 2021 -
-
riscv-binutils-gdb Public
Forked from riscvarchive/riscv-binutils-gdbRISC-V backports for binutils-gdb. Development is done upstream at the FSF.
C GNU General Public License v2.0 UpdatedMay 3, 2021 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…
UpdatedMay 2, 2021 -
riscv-gcc Public
Forked from riscvarchive/riscv-gccGNU General Public License v2.0 UpdatedMay 2, 2021 -
riscv-gnu-toolchain Public
Forked from riscv-collab/riscv-gnu-toolchainGNU toolchain for RISC-V, including GCC
C Other UpdatedApr 23, 2021 -
-
-
-
ProgPOW Public
Forked from ifdefelse/ProgPOWA Programmatic Proof-of-Work for Ethash. Forked from https://github.com/ethereum-mining/ethminer
C++ GNU General Public License v3.0 UpdatedMar 26, 2020 -
s2geometry Public
Forked from google/s2geometryComputational geometry and spatial indexing on the sphere
C++ Apache License 2.0 UpdatedDec 20, 2019 -
staged-streams.ocaml Public
Forked from strymonas/staged-streams.ocamlOCaml MIT License UpdatedAug 14, 2019 -
-
ocl-dataset Public
Forked from tue-mdse/ocl-datasetA Data Set of OCL Expressions on GitHub
Java UpdatedJun 20, 2018 -
React-2048-game Public
Forked from devrsi0n/React-2048-game🎮 A fancy 2048 game build with react, redux best practices.
JavaScript MIT License UpdatedApr 26, 2018 -
-
pynusmv Public
Forked from LouvainVerificationLab/pynusmvPython binding for NuSMV.
Python GNU Lesser General Public License v3.0 UpdatedNov 29, 2017 -
staged-streams.scala Public
Forked from strymonas/staged-streams.scalaScala MIT License UpdatedJul 13, 2017 -
Apollo-11 Public
Forked from chrislgarry/Apollo-11Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
Assembly UpdatedJul 15, 2016 -
Soundflower Public
Forked from mattingalls/SoundflowerMacOS system extension that allows applications to pass audio to other applications.
Objective-C MIT License UpdatedMay 19, 2016 -
ber-metaocaml Public
Forked from metaocaml/ber-metaocamlUnofficial git mirror of the BER MetaOCaml patchset.
OCaml Other UpdatedMay 1, 2016 -
homebrew-personal Public
Forked from thoughtpolice/homebrew-personalPersonal homebrew tap
Ruby UpdatedMay 1, 2016
{{ message }}