Repository Index

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

A ClojureScript binding library

The start of fuse bindings for Firebase

• fuse
• fuseopen
• firebase

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.

My personal website written in rust via yew/wasm

• yew
• rust
• wasm
• wasm-bindgen

Password generator written in Golang, usable as a CLI or Go library. Provides options for human readable and accessibility friendly passwords.

• golang
• go
• go-library
• golang-library

A faster drop in replacement for bin/magento cache:clean with file watcher

• adobecommerce
• cache-manager
• dev-utility
• mage-os

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

• ocaml
• linenoise
• readline
• standalone

VBA WebSocket, WSS and TCP client with native TLS 1.2/1.3, MQTT, proxy, x86/x64. No COM, no DLLs, no installs.

• excel
• office
• real-time
• tls

Common Lisp/CFFI bindings for the Vulkan API.

• vulkan
• cffi

Arbitrary Big Integer Library for Pascal

• intx
• biginteger
• pascal
• fpc

Vulkan bindings for Common Lisp.

• common-lisp
• vulkan
• graphics-programming

AI & Machine Learning over historical baseball data using latest Microsoft AI & .NET Development Technologies

• blazor
• machine-learning
• artificial-intelligence
• baseball-statistics

Real internet services, not corporate promises

• self-hosting
• server
• debian-linux
• free-software

Official CoinPaprika API Go client — coin prices, tickers, OHLCV, exchanges, and global market stats.

• api-client
• bitcoin
• blockchain
• coinpaprika

A binding to WebKitGTK+ for Common Lisp

Common Lisp library for handling bit vectors, bit vector arithmetic, and type conversions.

• common-lisp
• bit-vector
• type-conversion
• binary-arithmetic

Docker image for building Go binaries with MinGW toolchain. Supports Windows on ARM!

• golang
• go
• mingw
• mingw-w64

A low interaction honeypot for the Cisco ASA component capable of detecting CVE-2018-0101, a DoS and remote code execution vulnerability.

• security
• security-tools
• vulnerability
• honeypot

🌺 A plug-and-play hackathon management platform; SSO, hacker leaderboard, check-ins, and more!

• typescript
• nx
• supabase
• nextjs

Biblioteca para criação de logs de aplicativos Android

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

• f-sharp
• parser
• combinator
• library

If you are just starting out on a new project I recommend using https://github.com/adamralph/liteguard instead of conditions. Especially if using in a mobile application, less allocations and better performance. This project is deprecated and needs a new maintainer. Contact me if you want to take over.

Appium Native Crawler CLI - Features include: Screenshots, Performance, Accessibility Detection, Google Translate, Applitools, Monkey Tester