GaloisInc
Galois, Inc. Joined Mar 2012 View on GitHub
- Stars
- 9,527
- across 379 public repos
- Rank
- #4,041
- of 95,336 organizations, top 5%
- Down 11 places this week
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 55,359 | Cryptol: The Language of Cryptography | Haskell | 1,228 |
| 62,731 | The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen | Haskell | 1,069 |
| 83,726 | Crucible is a library for symbolic simulation of imperative programs | Haskell | 781 |
| 120,168 | The Software Analysis Workbench | Haskell | 527 |
| 147,720 | The Ivory EDSL | Haskell | 417 |
| 165,073 | A suite of Rust libraries for secure multi-party computation. | Sieve | 368 |
| 175,200 | A tool for analyzing x86-64 binaries. | LLVM | 344 |
| 214,487 | A Haskell implementation of the Tor protocol. | Haskell | 272 |
| 224,435 | Open source binary analysis tools. | Haskell | 258 |
| 278,213 | MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs. | Python | 199 |
| 300,951 | Symbolic formula representation and solver interaction library | Haskell | 181 |
| 344,110 | cclyzer++ is a precise and scalable pointer analysis for LLVM code. | C++ | 154 |
| 383,379 | CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution | Haskell | 135 |
| 418,451 | A general-purpose Python package for Koopman theory using deep learning. | Python | 121 |
| 429,756 | The haskell network stack | Haskell | 117 |
| 494,534 | The Daedalus data description language | Haskell | 98 |
| 580,261 | Haskell | 80 | |
| 597,949 | Tool for uploading unikernels into EC2 | Haskell | 77 |
| 610,297 | An umbrella repository including all of the dependencies to build the smaccmpilot project | Makefile | 75 |
| 659,155 | A precise and scalable pointer analysis for LLVM, written in Ascent | C | 68 |
| 675,040 | Lattice-based integer linear programming solver | C++ | 66 |
| 699,884 | C | 63 | |
| 717,566 | Parser for the llvm bitcode format | LLVM | 61 |
| 717,566 | Galois RISC-V ISA Formal Tools | Haskell | 61 |
| 736,594 | A set of utilities for using indexed types including containers, equality, and comparison. | Haskell | 59 |
| 746,444 | Specifications of cryptographic algorithms in Cryptol | TeX | 58 |
| 767,546 | Lean4 port of Arduino balance car controller | C++ | 56 |
| 790,103 | The SAW core language. | Haskell | 54 |
| 801,616 | Simulate DDoS attacks and generate traffic datasets | Python | 53 |
| 801,616 | LLVM support for the lean theorem prover | Lean | 53 |
| 826,286 | Experiments in high-assurance crypto. | C | 51 |
Among 95,336 organizations
6.3k–10k stars: 1,982 organizations, including GaloisInc
Stars along the bottom, and organizations in each band on a log scale
Where the stars are
Languages
- Haskell 5.4k stars, 57% · 16 repos
- LLVM 405 stars, 4% · 2 repos
- Python 373 stars, 4% · 3 repos
- Sieve 368 stars, 4% · 1 repo
- C++ 276 stars, 3% · 3 repos
- C 182 stars, 2% · 3 repos
- Makefile 75 stars, 1% · 1 repo
- TeX 58 stars, 1% · 1 repo
and 1 more language
When they were made
31 repos with 50+ stars, made between 2012 and 2025
Quick stats
- Next rank
- +1 star to reach #4,040
- Next milestone
- +25,443 stars to reach the top 1%
- Public repos
- 379, 31 with 50+ stars
- Popular repos
- 15 over 100 stars, 2 over 1k stars
- Top repo
- cryptol, #55,359 of all repos, 13% of stars
- Smaller repos
- 2,323 stars from repos under 50