Linux Kernel in a Nutshell
☆39Aug 29, 2014Updated 12 years ago
Alternatives and similar repositories for lkn
Users that are interested in lkn 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 simple utility to safely retrieve arbitrary files.☆65Oct 18, 2016Updated 9 years ago
- sync etcd to postgres☆16Jan 8, 2017Updated 9 years ago
- Create a Node.js module with ease☆11Jan 4, 2023Updated 3 years ago
- Template for creating new plugins☆12Nov 10, 2025Updated 9 months ago
- A streaming compression / gzip library for node.js☆15Apr 20, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Repository for Security Workshop content☆20Sep 4, 2017Updated 8 years ago
- App to visualize events happening for the August 21st Solar Eclipse in the US☆11Aug 1, 2017Updated 9 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A Java implementation of in-toto runlib☆11Jul 23, 2024Updated 2 years ago
- slack a channel from the command line☆12Jun 22, 2020Updated 6 years ago
- Stanford CS 269Q: Quantum Computer Programming☆17May 4, 2020Updated 6 years ago
- A basic Flask example with support for easy APIs and static files☆14Jan 12, 2025Updated last year
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Code for ATTiny85 on name badges☆17Feb 13, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Basic x86 Symbolic Execution for educational purposes☆18May 8, 2017Updated 9 years ago
- A proofreading tool using Google's N-gram corpus.☆12Jul 27, 2026Updated last month
- A purely academic effort to compile a subset of C to a 3-symbol, 5-tape simulated turing machine ruleset.☆11Sep 17, 2011Updated 14 years ago
- A nice Ruby client for the LIFX HTTP API that has no external dependencies.☆13Jul 12, 2015Updated 11 years ago
- Framework for Building Operators in Javascript☆11Mar 31, 2023Updated 3 years ago
- ☆16Sep 14, 2021Updated 4 years ago
- Collection of tool to find and exploit exposed SickChill/Rage instances☆17Jan 21, 2019Updated 7 years ago
- An S2I builder for NodeJS using the latest NodeJS releases☆10Feb 18, 2017Updated 9 years ago
- A repo of all the plugins waratte made for supybot/limnoria.☆13Oct 14, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆14Aug 22, 2016Updated 10 years ago
- ☆12Nov 6, 2019Updated 6 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- A spatial extension to LevelDB☆16Sep 23, 2013Updated 12 years ago
- ☆14Dec 7, 2022Updated 3 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- This is the proof-of-concept code that accompanies the eBPF Summit lightning talk I gave called Bad middlebox!☆12Aug 19, 2021Updated 5 years ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 11 years ago
- A clion plugin that shows formatted macro expansion in the code documentation panel☆13Jan 22, 2020Updated 6 years 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.
- Helm chart for deploying Mastodon☆18Jul 14, 2018Updated 8 years ago
- ☆19Sep 29, 2018Updated 7 years ago
- Developing on Kubernetes—an example microservices app☆18Feb 28, 2019Updated 7 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 9 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- Simple command line tool for fetching the Open Container Initiative image format over various transports.☆26Feb 11, 2020Updated 6 years ago
- Zsh IRC client☆20Feb 24, 2017Updated 9 years ago