Programming Projects for Operating Systems Concepts 9e
☆19Oct 1, 2020Updated 5 years ago
Alternatives and similar repositories for linux-kernel-modules
Users that are interested in linux-kernel-modules are comparing it to the libraries listed below
Sorting:
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- fork of myevic firmware for tubo project☆11Apr 23, 2018Updated 7 years ago
- MPIA Python Tutorial Source☆14May 15, 2012Updated 13 years ago
- ☆16Jul 21, 2018Updated 7 years ago
- Musings from the brainpan.☆10Jan 8, 2019Updated 7 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- Plan your (space) Flight! Fly your Plan! Set up maneuver nodes to get you where you want to be☆12Jun 14, 2024Updated last year
- A simple 2-field fuzzer for the telnet protocol☆11Apr 4, 2017Updated 8 years ago
- linuxplayer's programming scripts, technical documents and notes☆12Oct 16, 2024Updated last year
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 3 years ago
- Boost.Proto, rewritten and redesigned for C++11☆28Oct 7, 2013Updated 12 years ago
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Dec 14, 2021Updated 4 years ago
- Convert MIDI files to Serum and Vital LFOs.☆13Aug 31, 2023Updated 2 years ago
- Tool used for converting Linux Kernel time jiffies, from iptables xt_recent timestamps, to human datetime☆13Feb 16, 2021Updated 5 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- A sample project created using modern-package-template☆12Jul 11, 2010Updated 15 years ago
- Solving the Expression Problem in C++11☆45Nov 10, 2012Updated 13 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Feb 4, 2019Updated 7 years ago
- Learning a bit of assembly programming☆13Mar 23, 2015Updated 10 years ago
- Compute memory usage of a piece of software with strace.☆11Sep 17, 2019Updated 6 years ago
- Command line tool for macaddress.io API.☆12Dec 11, 2018Updated 7 years ago
- A framework for inference and testing of software behaviour.☆13Jun 14, 2023Updated 2 years ago
- Showing entropy analysis examples for different data types. example.sh was used to generate. It utilizes cyphunks libdisorder branch and …☆13Dec 24, 2014Updated 11 years ago
- Demo Rails application that uses declarative_authorization☆72Sep 6, 2010Updated 15 years ago
- Hunt for and Exploit the libSSH Authentication Bypass (CVE-2018-10933)☆10Oct 18, 2018Updated 7 years ago
- ☆12Apr 16, 2024Updated last year
- Modern C++ bindings for the Win32 API.☆16Aug 22, 2014Updated 11 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- Delphi-BFT automates large-scale simulations of unmodified BFT protocol implementations through the Phantom simulator given a simple expe…☆17Nov 28, 2025Updated 3 months ago
- A simple VM to play with OSR in LLVM☆15Jun 11, 2017Updated 8 years ago
- LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.☆12Jun 14, 2022Updated 3 years ago
- A tool to find the memory address of an environment variable in a binary☆11Jun 23, 2015Updated 10 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 8 years ago
- learning to play atari games with reinforcement learning☆10Jan 4, 2016Updated 10 years ago
- a simple Makefile template for small-medium C/C++ projects☆14Jul 26, 2016Updated 9 years ago
- How to use LLVM coverage for C++☆13Sep 27, 2019Updated 6 years ago
- A software cache partitioning tool☆14May 9, 2012Updated 13 years ago
- Detect the format of one or more identically-formatted date strings☆13Apr 26, 2018Updated 7 years ago