Highlights
- Pro
-
tmvtnorm Public
Forked from cran/tmvtnorm❗ This is a read-only mirror of the CRAN R package repository. tmvtnorm — Truncated Multivariate Normal and Student t Distribution. Homepage: https://www.r-project.org
R UpdatedNov 9, 2023 -
-
souffle Public
Forked from souffle-lang/souffleSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
C++ Universal Permissive License v1.0 UpdatedSep 29, 2022 -
souffle-lang.github.io Public
Forked from souffle-lang/souffle-lang.github.ioSoufflé
HTML UpdatedAug 26, 2022 -
-
blight Public
Forked from trailofbits/blightA catch-all compile tool wrapper
Python Apache License 2.0 UpdatedNov 11, 2020 -
sqlite Public
Forked from sqlite/sqliteOfficial Git mirror of the SQLite source tree
C Other UpdatedNov 8, 2020 -
InsecureProgramming Public
Forked from gerasdf/InsecureProgrammingInsecure Programming by Example - Teach yourself how buffer overflows, format strings, numeric bugs, and other binary security bugs work and how to exploit them
-
-
-
ffi-utils Public
Utilities for using Racket's FFI
Racket BSD 3-Clause "New" or "Revised" License UpdatedJun 16, 2017 -
signature Public
Syntax and utilities for writing function contracts as signatures
Racket BSD 3-Clause "New" or "Revised" License UpdatedJun 2, 2017 -
-
-
-
-
-
racket-fuse Public
A Racket library for implementing FUSE filesystems
-
yahoo-pre-draft Public
Forked from hgoodman/yahoo-pre-draftChrome extension to copy and paste pre-draft player rankings for Yahoo fantasy football
JavaScript MIT License UpdatedOct 7, 2016 -
-
slideshow-repl Public
Forked from mflatt/slideshow-replLibrary for interactive evaluation within a slide presentation
Racket UpdatedSep 13, 2016 -
-
-
-
-
-
-
-
stabilizer Public
Forked from ccurtsinger/stabilizerStabilizer: Rigorous Performance Evaluation
Perl UpdatedJan 22, 2016 -
vagrant-freebsd Public
Forked from wunki/vagrant-freebsdFreeBSD with ZFS for Vagrant
Shell BSD 3-Clause "New" or "Revised" License UpdatedDec 23, 2015