Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Repository Index
47,133 repositories indexed
1,921–1,944 of 2,366 · Most stars
D bindings for nuklear
Inspired by (but not a port of) moment.js, date & time (and time zone!) tools for CFML
Overhead allocators, allocator-aware containers and lifetime management for D objects
t6 is a "Data-first" IoT platform to connect physical Objects with time-series DB and perform Data Analysis.
- home-automation
- iot
- iot-platform
- nodejs
optimize your critical rendering path
MessagePack serialisation library optimised for MicroPython
HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.
JSON-RPC 2.0 library with HTTP and WebSockets support for deno and the browser
- json-rpc2
- deno
- typescript
- fetch
Fast lossless JSON parse event streaming, in JavaScript.
Compile-Time Parser Generator in D programming language.
Apache Druid client for Elixir
- olap
- druid
- elixir
- erlang
Real-time synced lyrics for Spotify & Apple Music in your macOS menu bar. Word-by-word karaoke highlighting, lyrics translation into 43 languages with RTL support, artist metadata and album art. Free, open source, private — no account needed.
Compile-time dependency Injection for .Net, Mono, and MonoTouch
Track Go benchmark performance over time by storing results in InfluxDB
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Build and manage data with a spreadsheet-like interface
Pre-rendering for JavaScript websites that delivers SSR-level SEO, enhanced link previews, and performance via effortless middleware integration — ideal for PWAs, SPAs, and modern JS-driven apps, websites, and webpages
- meteor
- middleware
- crawler
- seo
Ruby client library SDK for Ably realtime messaging service
- client-library
- rest
- realtime
- ruby
micropidash: A non-blocking web interface library for MicroPython microcontrollers. Featuring real-time sync, independent dark mode, and easy hardware integration via uasyncio.
- home-automation
- iot-dashboard
- micropython
- micropython-esp32
A hybrid LaTeX code + rich-text editor. It seamlessly syncs a rich-text What You See Is What You Get (WYSIWYG) view with raw LaTeX source code, featuring real-time KaTeX math preview and one-click PDF export via online compilers.
🕛 Zero-overhead Fennel JIT compiler at runtime of Neovim with safety rollbacks
- fennel
- neovim
- nvim
- nvim-plugin
bus-router creates a shapes.txt file for stop_times.txt using the Google Maps Directions API.
Implode your AWS CDK Stack after set amount of time, save money, be happy!