Fast, small, webkit based browser framework extensible by Lua.
☆24Jul 20, 2015Updated 10 years ago
Alternatives and similar repositories for luakit
Users that are interested in luakit 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 library for converting molecular topologies☆13May 20, 2015Updated 10 years ago
- A fork of a fast, small, webkit based browser framework extensible by Lua that uses GTK 3 and WebKit 2.☆38Dec 6, 2017Updated 8 years ago
- A fork of bitlet, a java BitTorrent Library☆22Sep 8, 2012Updated 13 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 8 years ago
- LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea☆14Nov 23, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Packer stuff to build a pfSense vagrant box.☆14Jul 7, 2017Updated 8 years ago
- Dark userstyle for Google Drive for Stylish☆25May 11, 2021Updated 4 years ago
- This Open Toolkit library is a fast, low-level C# wrapper for OpenGL and OpenAL. It can be used standalone or inside a GUI on Windows, Li…☆13Aug 5, 2017Updated 8 years ago
- Eduroam EAP-TLS helper for Android 4.0 and up☆15Oct 4, 2019Updated 6 years ago
- Ansible Role for deploying and maintaining cacti server and host (graph, devices, templates, tree ...)☆12Mar 3, 2015Updated 11 years ago
- A script written in Python to generate colorful gradient-pattern wallpapers.☆14Feb 2, 2017Updated 9 years ago
- Tools for researching networks.☆16Feb 26, 2022Updated 4 years ago
- Linux on the RDP Thinbook☆10Dec 31, 2023Updated 2 years ago
- picosync☆72Jul 12, 2013Updated 12 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.
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- text-mode disk usage visualization utility☆15Jul 20, 2025Updated 8 months ago
- Launcher for Linux/mac from http://pastebin.com/38PiYpjK and http://appdb.winehq.org/objectManager.php?sClass=version&iId=28853☆15Mar 19, 2024Updated 2 years ago
- like html2markdown, but for zim wiki☆10Jan 23, 2015Updated 11 years ago
- easy docker setup for pokerogue☆11May 25, 2024Updated last year
- ☆17Feb 10, 2026Updated last month
- Script to install pentest tools on Alpine Linux☆12Jul 3, 2015Updated 10 years ago
- string diagrams for the working programmer☆14Jul 17, 2023Updated 2 years ago
- Benchtop Power Board Kit available from SparkFun Electronics☆12Mar 7, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Simple GUI elements for AVR and arduino simulation. Programmed in python, based on pygame. Simavr is used for simulation.☆16Apr 13, 2013Updated 12 years ago
- Textbook on non-classical logics☆13Jun 25, 2025Updated 9 months ago
- [DEPRECATED] It's a thing for managing instances!☆58Jun 30, 2016Updated 9 years ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- Compact hyperdrive for up to 16 independently movable electrodes☆18Aug 25, 2019Updated 6 years ago
- Metroid Fusion Open Randomizer☆19Oct 25, 2021Updated 4 years ago
- the ultimate yak shave☆23Jul 17, 2020Updated 5 years ago
- A toy ELF parser/validator☆15Dec 18, 2024Updated last year
- Standalone port of Mednafen GBA to libretro, itself a fork of VBA-M, itself a fork of Visual Boy Advance.☆11Oct 21, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An open forum for anyone to discuss HR related topics & ideas☆26Feb 1, 2016Updated 10 years ago
- MedAdvCFG - Mednafen Advanced Configuration Tool☆11Jan 29, 2019Updated 7 years ago
- An experimental mutual induction tactic for Lean 4.☆23Jan 12, 2026Updated 2 months ago
- pcejin takes the accurate PCE emulation core in Mednafen and gives it a native Win32 interface and additional features.☆13May 5, 2015Updated 10 years ago
- SEGA Genesis/Megadrive FPGA core☆13Nov 28, 2018Updated 7 years ago
- Easy filesharing for Haiku☆10Oct 1, 2018Updated 7 years ago
- Collection of information on porting GNU/Linux on Xiaomi Pad 5 (Nabu)☆10Oct 13, 2024Updated last year