Mohamed Tahri's repositories
PricingWarehouse
C# pricer that allows users to price a wide range of financial products.
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Language:RustLGPL-2.1000
openai-python
The OpenAI Python library provides convenient access to the OpenAI API from applications written in the Python language.
Language:PythonMIT000
rust-analyzer
A Rust compiler front-end for IDEs
Language:RustApache-2.0000
transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Language:PythonApache-2.0000