An Elixir client for the Nu HTML Checker (v.Nu).
Repository Index
47,133 repositories indexed
19,369–19,392 of 25,288 · Most stars
Clojure wrapper for the Tesseract OCR software
An attempt at unifying lua class libraries to provide a common API.
Codeless manager to hide keyboard by tapping on views for iOS written in Swift
:vertical_traffic_light: w3cjs wrapper for gulp to validate your HTML
TranslatedTurn ideas into motion graphics and animated videos with Claude or Codex.
A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.
- lisp
- common-lisp
- generics
- polymorphic-functions
CFFI based alternative to py4cl2
Neovim plugin to display Marks in the gutter
Gulp.js command execution for humans
- gulp
- execa
- gulp-plugin
- gulpjs
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Sample project demonstrating how to use eBPF to encap/decap packets with an MPLS label.
Correctly rounded monetary amounts and exchange rates for Go
- currency
- decimal
- exchange-rate
- financial
maybe-wrong sbcl internals
Simple full text indexing and searching library for Java
- inverted-index
- search-engine
- search-algorithm
- indexing
Namespaces plugin for KnockoutJS
A fast and optimized middleware server with an absurdly small amount of code (300 lines) built on top of native HTTP APIs with no dependencies. It also has a collection of useful middlewares: log file, serve static, CORS, session, rate limit, token, body parsers, redirect, proxy and handle upload. For Deno Deploy and other enviroments!
- deno
- middleware
- server
Gamepad simulates an analog joystick input using the keyboard. Many times when we access key presses, what we are really doing is pretending that WASD, the arrow keys or some other combination are actually a D-pad or joystick with an X and Y axis, and 1 or 2 fire buttons. Gamepad handles the event capture, maths and other details of this for you, so you only have to think about how you want your game to respond to this input.
A true terminal widget for Qt.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
My personal website written in rust via yew/wasm
- yew
- rust
- wasm
- wasm-bindgen
Emulated Belkin WeMo device that works with Amazon Echo (Alexa) using MicroPython on an ESP32
- esp32
- micropython
- amazon-echo
- amazon-alexa
A blazing fast WireGuard VPN manager for your terminal.
GitHub workflow for automatically generating Luarocks releases from tags and running busted tests
- automation
- busted
- cicd
- luarocks