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:
- ☆26Updated this week
- 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
- IETF RATS terms cheat sheet☆12Feb 4, 2023Updated 3 years ago
- ☆16May 22, 2023Updated 2 years ago
- ☆14Apr 1, 2024Updated last year
- Steam-Autocracker-GUI by HarryEffinPotter, made for the legendary forum, cs.rin.ru.☆38Feb 12, 2026Updated 3 weeks ago
- 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
- ☆67Oct 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☆91May 1, 2025Updated 10 months ago
- The matrix cookbook, proved in the Lean theorem prover☆127Sep 16, 2025Updated 5 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆155Feb 24, 2026Updated last week
- A formal proof of the independence of the continuum hypothesis☆142Aug 26, 2024Updated last year
- A zero-knowledge Lean4 compiler and kernel☆145Nov 7, 2024Updated last year
- ☆219Jan 22, 2026Updated last month
- Formalization of Mathematical Logic☆211Updated this week
- Watch anime in cli with Anilist Integration and Discord RPC☆223Feb 1, 2026Updated last month
- 🍿 anime scraper/downloader + trackma wrapper☆161Feb 23, 2026Updated 2 weeks ago
- Download anime, novels, manga, and other content for offline consumption.☆172Mar 14, 2025Updated 11 months ago
- Extensions for Playnite game launcher and manager.☆247Feb 7, 2026Updated last month
- plasTeX plugin to build formalization blueprints.☆302Dec 23, 2025Updated 2 months ago
- A collection of Solarized user-stylesheets for...everything?☆294Jan 7, 2023Updated 3 years ago
- Little tool in python to watch and download anime from the terminal (the better way to watch anime). Also applicable as an API☆396Updated this week
- Collection of algorithms for online portfolio selection☆849Sep 11, 2025Updated 5 months ago
- Practical machine learning notebook & articles covers the machine learning end to end life cycle.☆933Dec 16, 2023Updated 2 years ago
- Jo eh.☆1,013Feb 17, 2026Updated 2 weeks ago
- Python Deep Dive Course - Accompanying Materials☆1,645Aug 13, 2024Updated last year
- A highly efficient, fast, powerful and light-weight anime downloader and streamer for your favorite anime.☆1,472Jun 13, 2024Updated last year
- Synchronize games from other platforms into your Steam library☆1,767Feb 5, 2026Updated last month
- Home of the development of the Nexus Mods App☆2,068Feb 16, 2026Updated 3 weeks ago
- MicroZig is a toolbox for building embedded applications in Zig.☆2,072Updated this week
- Any model. Any hardware. Zero compromise. Built with @ziglang / @openxla / MLIR / @bazelbuild☆3,217Updated this week
- This repository contains demos I made with the Transformers library by HuggingFace.☆11,511Updated this week
- A Collection of GitHub Profiles with awesome readme☆2,993Feb 29, 2024Updated 2 years ago
- A delightful list of personal tech blogs☆3,099Aug 5, 2024Updated last year
- TextAttack 🐙 is a Python framework for adversarial attacks, data augmentation, and model training in NLP https://textattack.readthedocs…☆3,369Jul 10, 2025Updated 7 months ago
- Manga & Anime Downloader for Linux, Windows & MacOS☆5,893Dec 27, 2025Updated 2 months ago
- 🔥 Awesome list of resources on Web Development.☆5,710Jul 16, 2025Updated 7 months ago