リポジトリ

GaloisInc のリポジトリ

11 件の対応リポジトリ

索引済み issue があるリポジトリを表示
GaloisInc/HaLVMHaskell

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

最終コミット 2018年12月6日

 (1,065 stars) (83 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
GaloisInc/cryptolHaskell

Cryptol: The Language of Cryptography

最終コミット 2026年5月15日

 (1,203 stars) (129 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
GaloisInc/daedalusHaskell

The Daedalus data description language

最終コミット 2026年5月28日

 (95 stars) (13 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
GaloisInc/dismantleHTML

A library of assemblers and disassemblers derived from LLVM TableGen data

最終コミット 2026年5月5日

 (26 stars) (3 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
GaloisInc/graphene-legacyC

Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support

最終コミット 2021年9月6日

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
GaloisInc/lustreHaskell

A parser and AST for Lustre

最終コミット 2024年10月30日

 (12 stars) (6 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
GaloisInc/lustre-wHaskell

A parser and AST for Lustre

最終コミット 2024年12月9日

 (0 stars) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)
GaloisInc/mctraceHaskell

An implementation of DTrace for machine code

最終コミット 2024年8月15日

 (6 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
GaloisInc/phixpointHaskell

A library for computing fixpoints over lattices in Haskell

最終コミット 2016年5月24日

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
GaloisInc/renovate-pateHaskell

A library for binary analysis and rewriting

最終コミット 2022年11月22日

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
GaloisInc/try-daedalusPLSQL

Examples and easy setup for trying DaeDaLus

最終コミット 2022年12月16日

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)