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☆33Feb 11, 2022Updated 4 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- 板球控制系統/滾球系統/BallPlate 2017年全国大学生电子设计竞赛B题 全国二等奖作品☆10May 27, 2024Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- OCANNL: OCaml Compiles Algorithms for Neural Networks Learning☆101Updated this week
- ☆13Jul 22, 2022Updated 3 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- From Zero to QED: An informal introduction to formality with Lean 4☆99Mar 2, 2026Updated last week
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆42Apr 14, 2021Updated 4 years ago
- Sources of the EuroProofNet web site.☆13Feb 28, 2026Updated last week
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆11Jan 18, 2024Updated 2 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Feb 28, 2026Updated last week
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- A CSS3 Overlay system for modal dialogs.☆66Dec 16, 2010Updated 15 years ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- A small library to output memory graph for ocaml values☆40Jun 28, 2024Updated last year
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 9 years ago
- SIGPLAN website☆13Updated this week
- ☆13Sep 5, 2024Updated last year
- ☆13Apr 14, 2025Updated 10 months ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- Aggressive MCTS chess engine.☆15Updated this week
- Levenshtein String Distance☆12May 20, 2022Updated 3 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆10Oct 28, 2023Updated 2 years ago
- Code generation for a statically typed bridge between the client and server in TypeScript☆10Dec 4, 2017Updated 8 years ago
- Repository for a TensorFlow class I taught at Caltech.☆14Jan 9, 2020Updated 6 years ago
- Resources related to FUSE (filesystem in user space)☆11Feb 19, 2026Updated 2 weeks ago