General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Repository Index
47,133 repositories indexed
4,273–4,296 of 5,853 · Most stars
Migration Tool for Adobe Commerce to Magento Open Source
A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
Command line tool to generate point labels from GeoJSON polygons
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer
distributed data sync with operational transformation/transforms
- golang
- dot
- ot
- operational
Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.
- kotlin
- graphql
- client
- code-generation
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
[WIP] A JSX-based UI builder for auto generate code.
Aqara (Xiaomi) Gateway to MQTT bridge (I use it for home assistant integration)
- aqara-mqtt
- mqtt
- xiaomi
- aqara
A set of performant rate limiters for Go
- api
- rate-limiter
- rate
- quotas
curated list of awesome resources, pointers, and tips related to veganism
- awesome
- veganism
- community
- plant-based
A curated list of bookmarks, packages, tutorials, videos and other cool resources from the Magento ecosystem
A symfony bundle for swarrot integration
- symfony
- bundle
- php
- symfony-bundle
CSV, JSON, XML text parsers and generators written in pure POSIX shellscript
- csv
- json
- xml
- shellscript
Scaffold new Craft CMS plugins, modules, and system components from the CLI
System monitoring program for Raspberry pi single board computers written in Python 3.
- raspberry-pi
- raspberry-pi-3
- raspberrypi
- raspberry
Coveralls JSON coverage generator and uploader for CMake
First class powershell editor integration into Neovim
This is a small, opinionated Go library and CLI for Markdown to PDF. It handles cover pages, tables of contents, watermarks, signatures, and more. You can use CSS themes and custom assets. It works with parallel batch processing. The engine behind it is Chrome. It does not rely on LaTeX.
- chrome-headless
- cli
- go
- goldmark
Generate random crop fields for Ignition Gazebo
Configure and manage home/small business DNS and DHCP configurations
Unit tests generator for Go programming language
- go
- golang
- unit-testing
- generator