Summaries of readings in operating systems, networking and machine learning
☆22Feb 4, 2019Updated 7 years ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below
Sorting:
- A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,☆18Feb 10, 2026Updated 3 weeks ago
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆28Jun 13, 2023Updated 2 years ago
- Blend Web App Framework☆10Updated this week
- Eugenics solution☆13May 30, 2018Updated 7 years ago
- Bring mdb walkers to gdb, also add other helpful commands.☆34Feb 4, 2025Updated last year
- Complaint Management System is web application. It is useful for register a complaint online.☆11Jul 20, 2020Updated 5 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆30Feb 15, 2019Updated 7 years ago
- Enumerating all of the Undefined Behavior in C++☆38Apr 26, 2022Updated 3 years ago
- Model Validation Output☆12Feb 23, 2026Updated last week
- SIGPLAN website☆13Feb 23, 2026Updated last week
- Application deployment and infrastructure management tool for Rails and Amazon EC2.☆12May 29, 2013Updated 12 years ago
- ℹ️ Information à propos de l'organisation HACF-fr | Information about HACF-fr organization.☆11Apr 27, 2025Updated 10 months ago
- A Python step-by-step primer for Machine Learning and Optimization☆12Jan 10, 2026Updated last month
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- RBC Model Jupyter Notebook☆10Feb 27, 2019Updated 7 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- Spatial search using Elastic Search☆12Dec 27, 2014Updated 11 years ago
- CppCon 2019 Talk: slides and source code☆48Sep 27, 2019Updated 6 years ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- A framework to make C memory safe☆13Sep 20, 2022Updated 3 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- github mirror of the NUISANCE neutrino interaction generator comparison tool. Compare your favourite neutrino interaction generators to e…☆15Feb 20, 2026Updated last week
- Imageless iPhone5s☆14Mar 6, 2024Updated last year
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- ☆10Jan 29, 2021Updated 5 years ago
- Adaptive Machine Learning-Based Stock Prediction using Financial Time Series Technical Indicators☆10Dec 21, 2019Updated 6 years ago
- Proof Of Concept - Open Patient Pathway Generator using and an agent based approach☆11Apr 4, 2023Updated 2 years ago
- React.js components for a faithful Windows 95 aesthetic☆10Nov 4, 2019Updated 6 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- Naive dependancy injection for Swift☆10Jan 14, 2016Updated 10 years ago
- ☆14Mar 18, 2020Updated 5 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- An improved version of `w`☆14Mar 16, 2017Updated 8 years ago
- A static site generator built with node.js☆15Jul 15, 2020Updated 5 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- An imperative, statically-typed toy language☆12May 5, 2019Updated 6 years ago
- the Sampa group website☆10Oct 1, 2021Updated 4 years ago
- Official implementation of paper "An objective quantitative diagnosis of depression using a local-to-global multi-modal fusion graph neur…☆13Jan 13, 2025Updated last year