list of resource about low level dev
☆21Nov 15, 2025Updated 11 months ago
Alternatives and similar repositories for Resources
Users that are interested in Resources are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of concise notes for the Hack The Box Certified Penetration Testing Specialist (HTB CPTS) exam. Covers enumeration, exploita…☆10May 3, 2025Updated last year
- 自分用ビルドスクリプト集☆11Oct 11, 2026Updated 3 weeks ago
- My Blog☆18Oct 17, 2026Updated 2 weeks ago
- ☆10Jan 11, 2019Updated 7 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Oct 17, 2026Updated 3 weeks 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.
- CLI tool for indexing local markdown files which can then be searched for using natural language queries; a duck duck go for your local f…☆12Apr 18, 2022Updated 4 years ago
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- An evolving collection of Oleg Kiselyov's Haskell modules (released with his permission). See the original articles at http://okmij.org/…☆13Jan 5, 2014Updated 12 years ago
- The contents of what was formerly https://svn.declarativity.net☆11Dec 8, 2015Updated 10 years ago
- detect architectures runnable by your machine+kernel☆13Nov 16, 2025Updated 11 months ago
- An Erasure Code Library with Efficient Repair and Update Features☆11Jan 3, 2022Updated 4 years ago
- Total Logic-Less Templating Library☆14Jan 25, 2018Updated 8 years ago
- ☆11Aug 24, 2021Updated 5 years ago
- AES-256-CBC with some evasion techniques☆16Aug 31, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Grapheme aware string handling (Unicode tr29)☆11Sep 19, 2024Updated 2 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated last month
- A Hindley-Milner type inference implementation in Prolog☆15Feb 9, 2015Updated 11 years ago
- Validate and patch AV1 levels☆15Jun 23, 2026Updated 4 months ago
- Experiment with synthetic domain theory in cubical agda☆16Nov 8, 2022Updated 3 years ago
- Notes and slides from my Encodings talk at RubyConf Brasil 2010☆13Nov 1, 2010Updated 16 years ago
- 程式人雜誌☆11Dec 23, 2023Updated 2 years ago
- A programming language with first-class modules and algebraic effects.☆15Dec 3, 2022Updated 3 years ago
- ☆16May 14, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Dec 22, 2017Updated 8 years ago
- Expand homebrew-core/homebrew-cask☆11Updated this week
- Share the useful information, documentation and tips of Virbox Protector☆14Mar 17, 2023Updated 3 years ago
- A table library for Idris 2☆16Oct 25, 2022Updated 4 years ago
- A Mirror of http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai//☆13Nov 15, 2021Updated 4 years ago
- 基于 CVE-2025-55182 漏洞检测 burpsuite 被动扫描插件☆12Dec 5, 2025Updated 11 months ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Dec 11, 2020Updated 5 years ago
- git lfs based bytecode-viewer and follow dependencies. Based on https://github.com/Konloch/bytecode-viewer and https://github.com/ThexXTU…☆16Apr 14, 2021Updated 5 years ago
- List of distributions that can be bootstrapped from source☆17Oct 23, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Oct 24, 2024Updated 2 years ago
- A Telegram Message forward or backup or clone ( or whatever you want to call it) bot.☆14Dec 15, 2025Updated 10 months ago
- Intelligent Language-Agnostic Subtitle Synchronization☆11Dec 20, 2025Updated 10 months ago
- Support code for talk 'XXIst century shall be typed or not be'☆16Oct 21, 2022Updated 4 years ago
- DSSCAW technical report source materials☆11Updated this week
- A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope w…☆20Updated this week
- Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but ge…☆12Oct 28, 2024Updated 2 years ago