Popular repositories Loading

1. validnum validnum Public

   Validated Numerics in Coq: Differential Equations, integrals and more.

   OCaml 1

2. euler54 euler54 Public

   Project Euler 54 in OCaml

   OCaml 1

3. freeton_wallet freeton_wallet Public

   Forked from OCamlPro/freeton_wallet

   The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.

   OCaml 1

4. langchain langchain Public

   Forked from langchain-ai/langchain

   ⚡ Building applications with LLMs through composability ⚡

   Python 1 2

5. speaker-recognition speaker-recognition Public

   Student project for speaker recognition.

   Python 2

6. CoqFP_complex_mult_FMA CoqFP_complex_mult_FMA Public

   Formalisation of the paper Error Bounds On Complex Floating Point multiplication with FMA

   Coq