ICS seminar 6, 2019 Fall
☆11Dec 26, 2019Updated 6 years ago
Alternatives and similar repositories for ics196
Users that are interested in ics196 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆23Jul 18, 2019Updated 6 years ago
- 日常事务 LaTeX 懒人包☆35Sep 4, 2022Updated 3 years ago
- Term project of Machine Learning, a PKU course.☆20May 31, 2020Updated 5 years ago
- 🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…☆13Nov 14, 2025Updated 4 months ago
- Utilities for paper writing.☆12Jan 11, 2026Updated 2 months ago
- ☆17Jun 24, 2025Updated 8 months ago
- Exercises for CppCon 2018 class on parallelism☆12Oct 10, 2019Updated 6 years ago
- A PKU-lab aiming for a compiler to compile miniC source code to RISC-V executable☆19Jan 2, 2019Updated 7 years ago
- Slides and codes☆20Aug 27, 2019Updated 6 years ago
- ☆11Oct 22, 2020Updated 5 years ago
- 百京大学燕园云战役自动填报小助手 Github Action☆17Mar 13, 2021Updated 5 years ago
- LU Decomposition using CUDA☆13Dec 7, 2013Updated 12 years ago
- Apps, icons and more for your Mac☆20Feb 26, 2020Updated 6 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- A static analysis tool to detect test data leakage in Python notebooks☆18May 2, 2023Updated 2 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 3 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- ☆21Nov 10, 2019Updated 6 years ago
- ☆13Feb 21, 2026Updated last month
- ☆25Sep 30, 2025Updated 5 months ago
- Advanced Formal Language Theory (263-5352-00L; Frühjahr 2023)☆10Feb 21, 2023Updated 3 years ago
- This repository represents the official implementation of the mmHPE.☆12Oct 12, 2024Updated last year
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated last year
- This is the implementation for IEEE S&P 2022 paper "Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Secur…☆11Aug 24, 2022Updated 3 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆61Feb 25, 2025Updated last year
- Character Motion Style Transfer☆11Nov 7, 2018Updated 7 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆64Jul 19, 2025Updated 8 months ago
- being some thoughts about introductory mathematics for computer science☆17Aug 26, 2025Updated 6 months ago
- ☆28Apr 16, 2024Updated last year
- A list of curated papers focusing on Network Protocol Fuzzing.☆14Jul 5, 2022Updated 3 years ago
- Implementation of Accurate Multivariate Stock Movement Prediction via Data-Axis Transformer with Multi-Level Contexts☆31May 1, 2022Updated 3 years ago
- 在选课季有一些作用的小玩意☆64Feb 21, 2022Updated 4 years ago
- 2021 Spring☆18Oct 12, 2024Updated last year
- ☆14Jul 21, 2015Updated 10 years ago
- 研究资源列表 A curated list of research resources☆175May 28, 2020Updated 5 years ago
- A High-performance Timing Analysis Tool for VLSI Systems☆10Feb 11, 2021Updated 5 years ago
- ☆14Dec 30, 2021Updated 4 years ago
- MiniJava compiler, for CPSC 411.☆38Jun 10, 2010Updated 15 years ago
- Mantis: Reactive Programmable Switches (SIGCOMM 2020)☆22Aug 21, 2020Updated 5 years ago