-
spectec Public
Forked from Wasm-DSL/spectecWasm SpecTec specification tools
-
-
-
threads Public
Forked from WebAssembly/threadsThreads and Atomics in WebAssembly
WebAssembly Other UpdatedMar 7, 2025 -
cudd Public
Forked from cuddorg/cuddCUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/2015…
C BSD 3-Clause "New" or "Revised" License UpdatedJun 16, 2023 -
-
-
-
fstest Public
Forked from zfsonlinux/fstestPOSIX Filesystem Test Suite
Shell Other UpdatedOct 1, 2021 -
dargent-examples Public
Forked from amblafont/dargent-examplesDargent layout specs in cogent
Isabelle UpdatedAug 7, 2020 -
emacs-powerline Public
Forked from jonathanchu/emacs-powerlinePowerline for Emacs
Emacs Lisp UpdatedApr 23, 2019 -
stack Public
Forked from commercialhaskell/stackThe Haskell Tool Stack
Haskell Other UpdatedSep 24, 2018 -
persistent-odbc Public
Forked from gbwey/persistent-odbcuses persistent connecting via hdbc odbc
Haskell Other UpdatedSep 12, 2018 -
matterhorn Public
Forked from matterhorn-chat/matterhornTerminal client for MatterMost chat system
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 26, 2017 -
popl2017-papers Public
Forked from gasche/popl2017-papersLink to preprints for POPL'17 and co-located events
UpdatedDec 8, 2016 -
hdbc-odbc Public
Forked from abbradar/hdbc-odbcODBC driver for HDBC
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 26, 2016 -
codec Public
Forked from chpatrick/codecEasy bidirectional serialization in Haskell
Haskell UpdatedMay 11, 2015 -
graph-wrapper Public
Forked from batterseapower/graph-wrapperA wrapper around the standard Data.Graph with a less awkward interface
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 8, 2015
{{ message }}