Idris LLVM codegen factored out
Repository Index
61,275 visible repositories in the index
12,913–12,936 of 16,289 · Most stars
A command line tool to manage Ubuntu Linux and macOS wifi, including an interactive shell
slippery chicken: algorithmic composition software in common lisp and clos
- music
- algorithms
- algorithmic-composition
- common-lisp
`llthreads` library rewritten without `LuaNativeObjects` code generator
- lua
- threading
- pthreads
- lua-binding
A Maven plugin for pimping the build of your Vert.x applications
A collection of tools for archiving and analysing the internet.
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Latte Dock NG is a Wayland-first dock for KDE Plasma 6.5+ that provides an elegant and intuitive experience for your tasks and widgets. It animates its contents using a parabolic zoom effect and stays out of the way when not needed.
💾 Generate a new Elm project from the command line (Elm 0.16+)
- elm
- cli
- no-dependencies
- scaffolding
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
A collection of nodes for the IBM Watson services
- node-red
- watson
Undo. Redo. Time travel. Take control of your edit history with an interactive timeline, diff previews, taggings, live reloading trees and cleanup functions.
analyze a web-based network traffic 🕶 to detect central command and control servers
- squid
- network-traffic
- proxy-server
- incident-response
Create SVG vector graphics in F#
A GameBoy printer emulator which provides the received data over a wifi-connection.
- gameboy-camera
- gameboy-printer
- gameboy-printer-emulator
React Library for Audio Equalizers & Filter Visualization
A database of paths that represent the mechanism of action from a drug to a disease in an indication.
- ncats-translator
A collection of resources covering different aspects of Gatling load testing tool usage.
- gatling
- gatling-plugin
- awesome-gatling
- awesome
Project for filtering stopwords
Bidirectional Ring router. REST oriented. Rails inspired.
- clojure-library
- clojure
- router
- routes
TranslatedTurn ideas into motion graphics and animated videos with Claude or Codex.
Create an asynchronous expectation in Swift Testing
Connect Ubiquiti UniFi controller to MQTT :satellite:
A set of Maltego transforms for VirusTotal Public API v2.0. This set has the added functionality of caching queries on a daily basis to speed up resolutions.