jtristan
Follow
-
-
UnicodeSkipListTableExample Public
A library that shows how to use the Unicode skip list tables generation tool to create a table to test if a codepoint is numeric.
-
UnicodeSkipListTable Public
A library to create and use Unicode tables based on the skip list data structure.
-
ReverseFFIwithMathlib Public
Forked from lecopivo/ReverseFFIwithMathlibExample project for reverse FFI using Lean+mathlib
Lean UpdatedJul 16, 2024 -
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJul 3, 2024 -
-
-
differential-privacy-library Public
Forked from IBM/differential-privacy-libraryDiffprivlib: The IBM Differential Privacy Library
Python MIT License UpdatedApr 10, 2024 -
aws-encryption-sdk-dafny Public
Forked from aws/aws-encryption-sdkAWS Encryption SDK for Dafny
Dafny Apache License 2.0 UpdatedNov 28, 2023 -
-
-
-
-
-
-
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues.
Python Other UpdatedSep 30, 2020 -
-
discrete-gaussian-differential-privacy Public
Forked from IBM/discrete-gaussian-differential-privacyCode for Canonne-Kamath-Steinke paper https://arxiv.org/abs/2004.00010
Python Apache License 2.0 UpdatedJun 16, 2020 -
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedApr 30, 2020 -
probprog-conference.github.io Public
Forked from probprog-conference/probprog-conference.github.ioThe International Conference on Probabilistic Programming
HTML UpdatedFeb 25, 2020 -
-
Safecode-SVA-Formalism Public
Forked from ph4tbe4r00/Safecode-SVA-FormalismVerilog UpdatedJul 18, 2011 -
CompCert-Extensions Public
Release of code written to experiment with formally verified translation validators for Compcert.
-
ali Public
Ali: an interface for LLVM that represents LLVM assembly as an OCaml algebraic datatype and allows for analysis and transformations to be implement in OCaml.