Yet another academic homepage builder.
☆25Jul 1, 2020Updated 5 years ago
Alternatives and similar repositories for bio-site
Users that are interested in bio-site are comparing it to the libraries listed below
Sorting:
- Linear-complexity Private Function Evaluation (PFE) based on homomorphic encryption (as presented at ESORICS'20).☆10Sep 14, 2020Updated 5 years ago
- 关于AI,ML,DA,DV等的几个经典案例，包括堵车模拟(NagelSchreckenberg)、蒙特卡洛排队问题(Monte Carlo Queuing Problem)、人脸识别(RecognitionFace)、遗传算法推断图像(IconGenetic)☆10Oct 14, 2018Updated 7 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆23Jan 1, 2026Updated 2 months ago
- ☆10Jun 28, 2013Updated 12 years ago
- A simple and naïve Game of Life pattern searcher written in Wolfram Language. 用 Mathematica 搜索生命游戏中的图样。☆15Nov 5, 2019Updated 6 years ago
- [NeurIPS 2024] Search for Efficient LLMs☆16Jan 16, 2025Updated last year
- MATLAB/Octave generator of Hamming ECC coding. Output format is Verilog HDL.☆12Dec 27, 2022Updated 3 years ago
- Cryptographically Secure Aggregation for Federated Learning☆11Jan 24, 2023Updated 3 years ago
- This repository contains a fully functional speech-to-speech chatbot pipeline that supports conversation in Malayalam. The chatbot allows…☆18Aug 28, 2024Updated last year
- The repo of "Coral: Maliciously Secure Computation Framework for Packed and Mixed Circuits" (CCS 2024)☆12Sep 6, 2024Updated last year
- ☆52Aug 14, 2025Updated 7 months ago
- Booting multi-processors on x86 bare-metal.☆12Feb 25, 2022Updated 4 years ago
- [AAAI'2025] "Efficient Traffic Prediction through Spatio-Temporal Distillation"☆13May 23, 2025Updated 9 months ago
- My personal website☆15Dec 31, 2025Updated 2 months ago
- 中科大郑启龙2021年并行程序设计课程实验☆11Jan 15, 2022Updated 4 years ago
- Function-Dependent Preprocessing in MOTION☆14Nov 27, 2023Updated 2 years ago
- ☆28Nov 26, 2024Updated last year
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- Official Pytorch Implementation of Paper "DarwinLM: Evolutionary Structured Pruning of Large Language Models"☆20Feb 21, 2025Updated last year
- Benchmarks for various multi-party computation frameworks☆18Oct 28, 2024Updated last year
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆13Jul 1, 2018Updated 7 years ago
- A technical guide for pairing CJK and Latin fonts☆12Oct 5, 2021Updated 4 years ago
- ☆19Jan 5, 2022Updated 4 years ago
- ☆11Aug 5, 2020Updated 5 years ago
- ☆13Jun 12, 2024Updated last year
- Blog dedicated to cryptography and machine learning☆23Nov 14, 2024Updated last year
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26May 25, 2021Updated 4 years ago
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆13Mar 18, 2025Updated last year
- Apple's Hello Triangle project, an introduction to Metal on iOS, ported to Swift 4☆20Nov 7, 2018Updated 7 years ago
- ☆12Oct 21, 2020Updated 5 years ago
- A simple USB to UART board designed with KiCad.☆14May 4, 2023Updated 2 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 5 years ago
- Efficient Secure Computation Protocols for Trigonometric Functions via Function Secret Sharing☆20Nov 8, 2022Updated 3 years ago
- Zsh IRC client☆19Feb 24, 2017Updated 9 years ago
- ☆12Nov 8, 2024Updated last year
- The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）☆12Dec 30, 2018Updated 7 years ago
- What if everything is a io_uring?☆17Nov 10, 2022Updated 3 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Dec 7, 2021Updated 4 years ago