Legifrance MCP Server
☆46Jun 29, 2025Updated 8 months ago
Alternatives and similar repositories for mcp-server-legifrance
Users that are interested in mcp-server-legifrance are comparing it to the libraries listed below
Sorting:
- Bilinear Pairings Components Library for Delphi☆12Dec 19, 2018Updated 7 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Reconnaître la marque/modèle des véhicules dans une image☆11Mar 31, 2023Updated 2 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- An open-source command line interface for linting your Ethereum 2.0 validator set up☆14May 17, 2021Updated 4 years ago
- A Python package to scrape flight data from Google Flights.☆15Apr 20, 2024Updated last year
- Auto-built docker image with latest Nim devel version☆10Jul 21, 2023Updated 2 years ago
- Comparison of leading error-correcting code implementations☆12Aug 19, 2022Updated 3 years ago
- LLM RP TUI for Power Users.☆31Jan 13, 2026Updated 2 months ago
- Rust port of the streaming ddelta patch algorithm, based on bsdiff☆12May 2, 2024Updated last year
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated last month
- Clockwork: A Modular Arithmetic library for C++☆12Nov 18, 2025Updated 3 months ago
- Server and dashboard components☆12Jun 24, 2024Updated last year
- A small test for multithreaded C++ stack unwinding on unixes☆16Feb 24, 2020Updated 6 years ago
- ☆11Nov 29, 2017Updated 8 years ago
- A repo of my talks☆11Nov 28, 2023Updated 2 years ago
- Repository of papers released by Modulus Labs☆14Mar 13, 2024Updated 2 years ago
- Analog circuit simulation library; wrapper for ngspice☆11Aug 31, 2020Updated 5 years ago
- ☆11Aug 11, 2024Updated last year
- ☆12Apr 10, 2019Updated 6 years ago
- Prints a dot graph of a nim ast dumped using the `dumpTree` macro.☆13Sep 18, 2022Updated 3 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- [RFC9380] Hash to curves - Go reference implementation☆21Nov 20, 2025Updated 3 months ago
- Cryptography in SageMath.☆10Dec 17, 2018Updated 7 years ago
- A nim module to handle polynomials☆13Jun 7, 2022Updated 3 years ago
- randomized SVD with single pass over data matrix☆10Apr 23, 2023Updated 2 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Dec 26, 2018Updated 7 years ago
- WIP: code generation package in Go -- used by gnark, goff and gurvy☆14Feb 19, 2026Updated 3 weeks ago
- negamax AI algorithm for turn-based games☆13Oct 6, 2019Updated 6 years ago
- Proof of concept code for VoteAgain paper☆10Jul 23, 2023Updated 2 years ago
- Site du programme Entrepreneurs d'Intérêt Général☆14Oct 6, 2022Updated 3 years ago
- ☆11Sep 10, 2024Updated last year
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- ☆13Aug 23, 2023Updated 2 years ago
- A system that exposes a engine api to the public, allowing a multiple consensus to one execution node setup.☆13Nov 30, 2025Updated 3 months ago
- ☆10Jan 7, 2024Updated 2 years ago
- ☆12Nov 23, 2020Updated 5 years ago