danadascalescu00 / FMIView external linksLinks
Resources for Faculty of Mathematics and Computer Science, University of Bucharest.
☆18Jul 29, 2024Updated last year
Alternatives and similar repositories for FMI
Users that are interested in FMI are comparing it to the libraries listed below
Sorting:
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- ☆24Updated this week
- This package provides an interface and foundation for verified SAT reasoning☆55Aug 29, 2024Updated last year
- A formal verification of Linear PCP SNARKs.☆60Jul 20, 2024Updated last year
- Executable formal model of the EVM and Yul in Lean 4.☆64Nov 19, 2025Updated 2 months ago
- ☆66Oct 31, 2024Updated last year
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆76Feb 14, 2023Updated 3 years ago
- SampCert : Verified Differential Privacy☆90May 1, 2025Updated 9 months ago
- Armv8 Native Code Symbolic Simulator in Lean☆96Nov 21, 2025Updated 2 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆148Feb 7, 2026Updated last week
- The matrix cookbook, proved in the Lean theorem prover☆126Sep 16, 2025Updated 4 months ago
- A zero-knowledge Lean4 compiler and kernel☆142Nov 7, 2024Updated last year
- Formalization of Mathematical Logic☆202Feb 7, 2026Updated last week
- plasTeX plugin to build formalization blueprints.☆294Dec 23, 2025Updated last month
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆436Feb 8, 2026Updated last week
- A simple but powerful self-hosted finance tracker☆801Feb 3, 2026Updated last week
- Collection of algorithms for online portfolio selection☆848Sep 11, 2025Updated 5 months ago
- A curated list of articles that cover the software engineering best practices for building machine learning applications.☆1,339Mar 26, 2024Updated last year
- A comprehensive list of 180+ YouTube Channels for Data Science, Data Engineering, Machine Learning, Deep learning, Computer Science, pro…☆1,566Sep 23, 2022Updated 3 years ago
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆2,081Updated this week
- 🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4☆2,435Oct 23, 2025Updated 3 months ago
- Bookmark manager for the wizards 🧙☆2,713Jun 25, 2025Updated 7 months ago
- Awesome free machine learning and AI courses with video lectures.☆3,056Dec 12, 2024Updated last year
- A delightful list of personal tech blogs☆3,096Aug 5, 2024Updated last year
- TextAttack 🐙 is a Python framework for adversarial attacks, data augmentation, and model training in NLP https://textattack.readthedocs…☆3,358Jul 10, 2025Updated 7 months ago
- Sequence to Sequence Learning with Keras☆3,177Aug 20, 2022Updated 3 years ago
- Lazy Predict help build a lot of basic models without much code and helps understand which models works better without any parameter tuni…☆3,291Jan 18, 2026Updated 3 weeks ago
- ☆3,948Jan 29, 2026Updated 2 weeks ago
- 3D force-directed graph component using ThreeJS/WebGL☆5,785Feb 4, 2026Updated last week
- 🔥 Awesome list of resources on Web Development.☆5,709Jul 16, 2025Updated 6 months ago
- An Open-Source Collection of Flash Cards to Help You Preparing Your Algorithms & Data Structures and System Design Interviews 💯☆5,804Dec 9, 2025Updated 2 months ago
- A launch point for your personal nvim configuration☆29,394Jan 27, 2026Updated 2 weeks ago
- Leveraging BERT and c-TF-IDF to create easily interpretable topics.☆7,397Jan 31, 2026Updated 2 weeks ago
- A log of things I'm learning☆6,801Feb 5, 2026Updated last week
- Open Source Neural Machine Translation and (Large) Language Models in PyTorch☆6,990Oct 14, 2025Updated 4 months ago
- Below are some simple methods for exiting vim.☆7,158Jun 13, 2024Updated last year
- Things I've learned about writing good READMEs.☆7,091Aug 21, 2022Updated 3 years ago
- This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.☆32,633Updated this week
- 🌸 Run LLMs at home, BitTorrent-style. Fine-tuning and inference up to 10x faster than offloading☆9,930Sep 7, 2024Updated last year