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
Sorting:
- Program locality analysis tools☆18Aug 9, 2019Updated 6 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- Datalog + Egg = Good☆66May 31, 2023Updated 2 years ago
- ☆11Dec 19, 2021Updated 4 years ago
- Fast and highly tuned bit vector implementation including space efficient rank and select support having only 3.51% space overhead.☆34Apr 7, 2025Updated 10 months ago
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- ☆10Jun 29, 2021Updated 4 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- ☆12Aug 26, 2022Updated 3 years ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Parse data and generate plotting scripts based on plotly.☆11Dec 8, 2025Updated 2 months ago
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 4 months ago
- ☆10Feb 9, 2024Updated 2 years ago
- Analyze experimental data with Programming by Navigation☆13Updated this week
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 8 months ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- ☆11Jul 13, 2022Updated 3 years ago
- 收集了一些经典的神经网络论文☆12Aug 11, 2024Updated last year
- Well optimised threading safe database engine could be used to build pretty well performed databases on top of it☆10Apr 7, 2022Updated 3 years ago
- ☆10Nov 1, 2021Updated 4 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Liberally licenced Sokoban skins☆13Jul 2, 2011Updated 14 years ago
- Yet another single process KVS server implemented over file-based database☆12Jan 10, 2020Updated 6 years ago
- Use a visual heat or motion map to count the number of people that enter and exit a store, factory, or warehouse aisle.☆11Jan 3, 2023Updated 3 years ago
- An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…☆16Feb 12, 2026Updated 2 weeks ago
- A set of tools for Dynamic Design Patterns in Python☆11Oct 6, 2023Updated 2 years ago
- C++ Future/Promises implementation, loosely based on Future.pm☆10Sep 9, 2015Updated 10 years ago
- A simple distributed lock manager☆12Nov 11, 2019Updated 6 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- ☆13Jan 5, 2026Updated last month
- OpenFaaS anonymize function. Use MachineBox service.☆35Jan 19, 2018Updated 8 years ago
- This repository integrates gem5 with Ramulator2, allowing gem5 to use Ramulator2 as its DRAM memory model. With the provided materials an…☆13Jun 7, 2025Updated 8 months ago
- SATZilla SAT feature extraction tool☆11Jan 15, 2026Updated last month
- Tracking babel development☆23Sep 1, 2011Updated 14 years ago
- Transformer-based Conditional Generative Adversarial Network for Multivariate Time Series Generation (IWTA - PAKDD2023)☆11May 1, 2023Updated 2 years ago
- Interesting papers☆11Jun 22, 2024Updated last year