-
Amazon
- United States
Highlights
- Pro
Stars
Example Jupyter notebooks 📓 and code scripts 💻 for using Amazon Bedrock Agents 🤖 and its functionalities
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.
A library to create and use Unicode tables based on the skip list data structure.
Lean 4 programming language and theorem prover
Example project for reverse FFI using Lean+mathlib