Just save my record on github...
☆27Feb 7, 2021Updated 5 years ago
Alternatives and similar repositories for Notes
Users that are interested in Notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Program locality analysis tools☆18Aug 9, 2019Updated 6 years ago
- Design, play with, and analyze sequent calculus proof systems.☆14Sep 5, 2024Updated last year
- Less Is More: Training-Free Sparse Attention with Global Locality for Efficient Reasoning☆31Sep 12, 2025Updated 6 months ago
- ONCache: A Cache-Based Low-Overhead Container Overlay Network☆21Jun 7, 2025Updated 10 months ago
- Yet Another deep embedding of Linear Logic in Coq☆16Mar 30, 2026Updated last week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆17May 26, 2023Updated 2 years ago
- ☆12Aug 26, 2022Updated 3 years ago
- Template for LaTeX beamer slides using #uulm corporate design.☆15Dec 3, 2022Updated 3 years ago
- A fully reproducible nix flake for automatic1111/stable-diffusion-webui with CUDA support.☆13Apr 13, 2023Updated 2 years ago
- ☆10Jun 12, 2023Updated 2 years ago
- Automatically exported from code.google.com/p/llvm-qemu☆11Apr 29, 2015Updated 10 years ago
- Collection of my hand-made mods for Balatro.☆16May 16, 2025Updated 10 months ago
- Explore Go Awesome Standard library one module at the time☆15Jan 9, 2018Updated 8 years ago
- ☆11Nov 13, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Frictionless Machine Learning on Kubernetes☆15Mar 7, 2023Updated 3 years ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Mar 5, 2021Updated 5 years ago
- fork of file_parda from bitbucket☆11Jun 27, 2015Updated 10 years ago
- Mediates connections between an active-only FTP client (such as ftp.exe) and a server and allow it to transfer data passively.☆10Mar 29, 2018Updated 8 years ago
- Simulator for Heterogeneous Architecture☆12Jan 12, 2016Updated 10 years ago
- ☆10Nov 1, 2021Updated 4 years ago
- A small C OpenCL wrapper☆17Apr 18, 2017Updated 8 years ago
- (Mirror: moved to https://gitlab.esss.lu.se/ecdc/ess-dmsc/event-formation-unit) Implementation of neutron event formation pipeline for ES…☆12Mar 20, 2026Updated 3 weeks ago
- This repository integrates gem5 with Ramulator2, allowing gem5 to use Ramulator2 as its DRAM memory model. With the provided materials an…☆14Jun 7, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- SYSU-ARCH is a LAB that focuses on the use and extending of simulators.☆10Dec 19, 2022Updated 3 years ago
- A game engine/framework/library project☆13Jan 11, 2022Updated 4 years ago
- Experimental Rust compiler in pure C.☆12May 2, 2020Updated 5 years ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆17Nov 20, 2025Updated 4 months ago
- ☆14Jul 24, 2025Updated 8 months ago
- basic linux container implementation in C☆12Sep 7, 2020Updated 5 years ago
- A native GPU bytecode compiler for constructive solid geometry☆25May 29, 2019Updated 6 years ago
- Notes and work-in-progress for BPF-related research projects☆12Jan 10, 2025Updated last year
- Awesome papers in machine learning theory☆10Feb 12, 2022Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Transformer-based Conditional Generative Adversarial Network for Multivariate Time Series Generation (IWTA - PAKDD2023)☆12May 1, 2023Updated 2 years ago
- OpenFaaS anonymize function. Use MachineBox service.☆35Jan 19, 2018Updated 8 years ago
- CSAPP3e Course Labs Files☆10Oct 9, 2020Updated 5 years ago
- Virtual Machine eXtension for JOS☆23Jul 3, 2014Updated 11 years ago
- 2017华为软件精英挑战赛☆10May 5, 2017Updated 8 years ago
- Awesome List for Infrastructure as Code☆15Jul 15, 2017Updated 8 years ago
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago