| sheerun/vim-polyglot |
5,431 |
|
0 |
0 |
over 2 years ago |
0 |
|
85 |
|
Vim Script |
| A solid language pack for Vim. |
| trailofbits/manticore |
3,535 |
|
1 |
1 |
over 2 years ago |
1,137 |
December 09, 2023 |
264 |
agpl-3.0 |
Python |
| Symbolic execution tool |
| FStarLang/FStar |
2,522 |
|
0 |
0 |
about 2 years ago |
0 |
|
485 |
apache-2.0 |
F* |
| A Proof-oriented Programming Language |
| openpnp/openpnp |
1,501 |
|
0 |
0 |
over 2 years ago |
0 |
|
101 |
gpl-3.0 |
Java |
| Open Source SMT Pick and Place Hardware and Software |
| programa-stic/barf-project |
1,193 |
|
4 |
1 |
over 6 years ago |
4 |
November 24, 2019 |
16 |
bsd-2-clause |
Python |
| BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework |
| ucsd-progsys/liquidhaskell |
1,132 |
|
0 |
0 |
about 2 years ago |
32 |
December 06, 2023 |
483 |
bsd-3-clause |
Haskell |
| Liquid Types For Haskell |
| GaloisInc/cryptol |
1,091 |
|
51 |
0 |
about 2 years ago |
20 |
June 26, 2023 |
226 |
bsd-3-clause |
Haskell |
| Cryptol: The Language of Cryptography |
| cvc5/cvc5 |
894 |
|
0 |
1 |
about 2 years ago |
8 |
August 31, 2023 |
134 |
other |
SMT |
| cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. |
| B-Lang-org/bsc |
850 |
|
0 |
0 |
about 2 years ago |
0 |
|
182 |
other |
Haskell |
| Bluespec Compiler (BSC) |
| AliveToolkit/alive2 |
634 |
|
0 |
0 |
about 2 years ago |
0 |
|
56 |
mit |
C++ |
| Automatic verification of LLVM optimizations |
