fpottier / mpri-2.4-projet-2022-2023View external linksLinks
A programming project on automatic differentiation in OCaml
☆11Dec 22, 2022Updated 3 years ago
Alternatives and similar repositories for mpri-2.4-projet-2022-2023
Users that are interested in mpri-2.4-projet-2022-2023 are comparing it to the libraries listed below
Sorting:
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 4 months ago
- Print with style in your terminal using Format's semantic tags☆20Oct 27, 2023Updated 2 years ago
- Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).☆26May 15, 2024Updated last year
- Process behavior monitoring utility and library based on strace☆28May 9, 2023Updated 2 years ago
- A stack tracer/profiler for Xen domains☆31Sep 28, 2022Updated 3 years ago
- Map-Elites based on Evolution Strategies☆32Feb 11, 2022Updated 4 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- OCANNL: OCaml Compiles Algorithms for Neural Networks Learning☆101Feb 9, 2026Updated last week
- ☆13Jul 22, 2022Updated 3 years ago
- ☆12Apr 14, 2025Updated 10 months ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆24Jan 11, 2026Updated last month
- From Zero to QED: An informal introduction to formality with Lean 4☆91Updated this week
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆41Apr 14, 2021Updated 4 years ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- A CSS3 Overlay system for modal dialogs.☆66Dec 16, 2010Updated 15 years ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆10Jan 18, 2024Updated 2 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Nov 16, 2025Updated 3 months ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- SIGPLAN website☆13Updated this week
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- ☆13Sep 5, 2024Updated last year
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- A small library to output memory graph for ocaml values☆40Jun 28, 2024Updated last year
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- Levenshtein String Distance☆12May 20, 2022Updated 3 years ago
- 环形、圆形动画展示数据☆10Apr 13, 2016Updated 9 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 5 months ago
- An MCP server that enables searching for Rust crates and their documentation from crates.io and docs.rs.☆22Jul 31, 2025Updated 6 months ago
- Cpp Course☆12Dec 5, 2025Updated 2 months ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 years ago