Skip to content
View jtristan's full-sized avatar
  • Amazon
  • United States

Highlights

  • Pro

Block or report jtristan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Example Jupyter notebooks 📓 and code scripts 💻 for using Amazon Bedrock Agents 🤖 and its functionalities

Python 153 42 Updated Jan 15, 2025
Lean 5 Updated Oct 15, 2024

A StableHLO analyzer in Lean

Lean 15 2 Updated Oct 9, 2024

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.

Lean 6 Updated Jul 26, 2024

A library to create and use Unicode tables based on the skip list data structure.

Lean 6 Updated Jul 26, 2024

Lean 4 programming language and theorem prover

Lean 4,953 447 Updated Jan 17, 2025

The CompCert formally-verified C compiler

Coq 1,924 231 Updated Jan 16, 2025

Example project for reverse FFI using Lean+mathlib

Shell 4 2 Updated Oct 9, 2024
Lean 2 Updated Jul 16, 2024

SampCert : Verified Differential Privacy

Lean 69 7 Updated Aug 20, 2024
Showing results