fabriceleal / Software-Foundations-SolutionsView external linksLinks
☆14Jun 30, 2015Updated 10 years ago
Alternatives and similar repositories for Software-Foundations-Solutions
Users that are interested in Software-Foundations-Solutions are comparing it to the libraries listed below
Sorting:
- My solutions to Software Foundations course in Coq proof assistant.☆43Sep 2, 2025Updated 5 months ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- 简单的北大风格 Typora 主题。/ A simple Typora theme in Peking University style.☆11Mar 15, 2023Updated 2 years ago
- Examples for TLAPS (TLA+ Proof System)☆16May 9, 2020Updated 5 years ago
- 北京大学 Typst 模版库☆14May 10, 2024Updated last year
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- Restore treehole score style.☆50Jan 6, 2026Updated last month
- A beamer template for LAMDA lab at NJU☆16Oct 17, 2020Updated 5 years ago
- Convert Typst equations into functions☆29Nov 18, 2025Updated 2 months ago
- Straightforward and functional theorem/proof environments in Typst.☆17Feb 24, 2025Updated 11 months ago
- Wishing you could have a 🌈☆19Jan 13, 2026Updated last month
- ☆15Sep 14, 2020Updated 5 years ago
- Working on some solutions to http://www.cis.upenn.edu/~bcpierce/sf/☆15Oct 18, 2012Updated 13 years ago
- The official code base of Shared Experience Actor-Critic (NeurIPS2020)☆26Feb 23, 2024Updated last year
- A collection of editorials for problems solved by me.☆23Sep 13, 2020Updated 5 years ago
- Write your own operating system with Rust!☆24Jan 10, 2026Updated last month
- ☆30Mar 4, 2024Updated last year
- 基于Metropolis修改的北大风格Beamer主题☆27May 29, 2022Updated 3 years ago
- xm 集训队☆29Oct 23, 2020Updated 5 years ago
- The Official Code for Offline Model-based Adaptable Policy Learning (NeurIPS'21 & TPAMI)☆25Jan 16, 2024Updated 2 years ago
- Plannable Approximations to MDP Homomorphisms: Equivariance under Actions☆30Jun 30, 2020Updated 5 years ago
- Toolkit of Causal Model-based Reinforcement Learning.☆33Jun 5, 2023Updated 2 years ago
- [RA-L 2025 & IROS 2025] FoAR: Force-Aware Reactive Policy for Contact-Rich Robotic Manipulation☆44Nov 13, 2025Updated 3 months ago
- PKU北京大学信息科学技术学院2023春人工智能基础（ai基础，AI基础）课程记录仓库。董豪老师班。☆35Jun 12, 2023Updated 2 years ago
- ☆36Jan 10, 2021Updated 5 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆59Jan 11, 2026Updated last month
- The static-site blog template using astro and typst☆86Sep 13, 2025Updated 5 months ago
- 🎓a Better BlackBoard for PKUers. 北京大学教学网命令行工具（🖥️Win/🐧Linux/🍏Mac）, 支持查看/提交作业、下载课程回放.☆63Jan 30, 2026Updated 2 weeks ago
- [WACV 2023] XNeRF: Explicit Neural Radiance Field for Multi-Scene 360° Insufficient RGB-D Views☆54Oct 26, 2022Updated 3 years ago
- The pintos source distribution for PKU Operating System Course projects☆55Feb 17, 2025Updated 11 months ago
- SJTU thesis template version 2021, modified from the official version☆46Jan 4, 2022Updated 4 years ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆54Jun 9, 2024Updated last year
- source code of ElegantLaTeX templates☆54Jan 28, 2022Updated 4 years ago
- Write markdown-like checklist easily.☆75Sep 16, 2025Updated 4 months ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆70Jan 22, 2026Updated 3 weeks ago
- 并不复杂的 Typst 讲座 - Typst is Simple☆79Jul 5, 2025Updated 7 months ago
- Relative positioning by pins, especially useful for making slides in typst.☆301May 20, 2025Updated 8 months ago
- ☆72Oct 26, 2023Updated 2 years ago
- 北大选课网补退选阶段自动选课小工具（2023秋-不定长验证码）☆85Feb 19, 2024Updated last year