-
K3S
- Here
Highlights
- Pro
Block or Report
Block or report tnrn9b
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
coq-haskell
coq-haskell PublicForked from jwiegley/coq-haskell
A library for formalizing Haskell types and functions in Coq
Coq
-
dotfiles
dotfiles PublicForked from mathiasbynens/dotfiles
🔧 .files, including ~/.macos — sensible hacker defaults for macOS
Shell
-
ReWire
ReWire PublicForked from rewire-hardware/ReWire
Experimental compiler for a subset of Haskell to VHDL
VHDL
-
sn-stlc-de-bruijn-coq
sn-stlc-de-bruijn-coq PublicForked from ezrakilty/sn-stlc-de-bruijn-coq
Strong Normalization for Simply-Typed Lambda-Calculus with de Bruijn indices in Coq
Coq
If the problem persists, check the GitHub status page or contact support.