MarisaKirisame / resumeView external linksLinks
☆47Jan 21, 2025Updated last year
Alternatives and similar repositories for resume
Users that are interested in resume are comparing it to the libraries listed below
Sorting:
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Some C++ utilities☆10Oct 25, 2015Updated 10 years ago
- ☆12Jun 28, 2018Updated 7 years ago
- ☆19Oct 7, 2023Updated 2 years ago
- ☆18Mar 14, 2016Updated 9 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Jun 17, 2018Updated 7 years ago
- [DEPRECATED] Use https://github.com/akemimadoka/Cafe instead☆37Nov 18, 2018Updated 7 years ago
- Solutions for online code challenges. Don't be evil.☆15Jan 5, 2019Updated 7 years ago
- VS code Extension 翻译工具箱☆16Apr 27, 2025Updated 9 months ago
- Java&Kotlin Castle game(RPG)☆15Aug 20, 2016Updated 9 years ago
- 如何做技术演讲(how to give a talk)的slide☆22Feb 8, 2021Updated 5 years ago
- Sissy Life CYOA☆12Sep 4, 2015Updated 10 years ago
- A hybrid Java/Python desktop app that collects regional Uber/Lyft driver information in real-time☆10Sep 16, 2017Updated 8 years ago
- Repository for artifact evaluation of ASPLOS 2023 paper "SparseTIR: Composable Abstractions for Sparse Compilation in Deep Learning"☆25Feb 24, 2023Updated 2 years ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- [ICCV 2021] Code release for "Sub-bit Neural Networks: Learning to Compress and Accelerate Binary Neural Networks"☆32Jul 24, 2022Updated 3 years ago
- Experiments with sequent calculi☆28Mar 28, 2021Updated 4 years ago
- Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.☆63Mar 15, 2025Updated 11 months ago
- ☆60Feb 27, 2018Updated 7 years ago
- Lisp Flavoured C++☆29Mar 12, 2021Updated 4 years ago
- A type-driven and high-performance ORM framework in Rust☆31Jun 13, 2025Updated 8 months ago
- The Solarized colorscheme for crosh (chrome shell) on ChromeOS☆33Apr 27, 2016Updated 9 years ago
- OpenGL Water Simulation☆35Oct 23, 2016Updated 9 years ago
- some documents for Mathcrowd Community☆33May 8, 2020Updated 5 years ago
- Mathematica Notebooks☆14Jun 16, 2013Updated 12 years ago
- ☆10Dec 7, 2015Updated 10 years ago
- 《Redis 设计与实现》所使用的 sphinx 样式。☆17Dec 9, 2013Updated 12 years ago
- A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post☆46Jan 25, 2019Updated 7 years ago
- ☆17Jan 3, 2025Updated last year
- ☆11Nov 8, 2019Updated 6 years ago
- Samples for partner application development (OEM, MO, IHV) for Window☆18Jun 12, 2023Updated 2 years ago
- Racket bindings for the Slack API☆10Mar 4, 2019Updated 6 years ago
- Software that runs reinout.vanrees.org☆20Updated this week
- A simple script to plot the Roofline model for given HW platforms and applications☆10Aug 22, 2024Updated last year
- This a repo to help people to set up their own VPN service on their vps☆15Sep 12, 2015Updated 10 years ago
- LaTeX 入门讲座资料☆10Sep 29, 2019Updated 6 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- All the logic programming code examples from the book "The Reasoned Schemer"☆53Mar 28, 2010Updated 15 years ago
- PKU Library Thesis Download☆36Jun 30, 2021Updated 4 years ago