Yet another academic homepage builder.
☆26Jul 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 关于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.☆24Jan 1, 2026Updated 4 months ago
- vortex particles for simulating smoke in 2d☆17Dec 13, 2021Updated 4 years ago
- A simple and naïve Game of Life pattern searcher written in Wolfram Language. 用 Mathematica 搜索生命游戏中的图样。☆16Nov 5, 2019Updated 6 years ago
- [NeurIPS 2024] Search for Efficient LLMs☆17Jan 16, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- MATLAB/Octave generator of Hamming ECC coding. Output format is Verilog HDL.☆12Dec 27, 2022Updated 3 years ago
- This is the official repo for "Differentiable Model Scaling using Differentiable Topk"☆12May 16, 2024Updated 2 years ago
- Booting multi-processors on x86 bare-metal.☆12Feb 25, 2022Updated 4 years ago
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 4 years ago
- 中科大郑启龙2021年并行程序设计课程实验☆11Jan 15, 2022Updated 4 years ago
- Page for the CVPR 2023 Tutorial - Efficient Neural Networks: From Algorithm Design to Practical Mobile Deployments☆12Jun 30, 2023Updated 2 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Official Pytorch Implementation of Paper "DarwinLM: Evolutionary Structured Pruning of Large Language Models"☆20Feb 21, 2025Updated last year
- A C++ format IO library, based on standard streams.☆10Jan 3, 2022Updated 4 years ago
- 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
- [NeurIPS 2023] Latent Graph Inference with Limited Supervision☆33Feb 1, 2024Updated 2 years ago
- ☆19Jan 5, 2022Updated 4 years ago
- ☆11Aug 5, 2020Updated 5 years ago
- [arXiv 2024] Is Oracle Pruning the True Oracle?☆26Jan 10, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An implementation of the DISP-LLM method from the NeurIPS 2024 paper: Dimension-Independent Structural Pruning for Large Language Models.☆24Aug 6, 2025Updated 9 months ago
- ☆13Jun 12, 2024Updated last year
- Chapter 3 of Parallel and High Performance Computing book☆10Apr 25, 2022Updated 4 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆27May 25, 2021Updated 5 years ago
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆15Mar 18, 2025Updated last year
- This is a collection of resources related with Time-series.☆19May 21, 2024Updated 2 years ago
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Jul 23, 2024Updated last year
- ☆22Dec 13, 2023Updated 2 years ago
- ☆12Oct 21, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A simple USB to UART board designed with KiCad.☆14May 4, 2023Updated 3 years ago
- Zsh IRC client☆19Feb 24, 2017Updated 9 years ago
- ☆12Apr 23, 2026Updated last month
- The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）☆12Dec 30, 2018Updated 7 years ago
- eBPF for GPU UVM offloading and scheduling in Linux kernel☆54Apr 15, 2026Updated last month
- The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.☆12Apr 25, 2024Updated 2 years ago
- RV32I by cats☆15Sep 4, 2023Updated 2 years ago