Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
Repository Index
47,133 repositories indexed
169–192 of 309 · Most stars
Tool for translation type comments to type annotations in Python
- annotations
- python-3-6
- source-to-source
- type-hints
Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler
- haxe
- golang
- go
- compiler
Human-readable schedule expressions for .NET (C#): write "every day at 9am except sunday" instead of cron. Time zones, fluent builder, custom keywords, cron converter.
- cron
- csharp
- date-time
- dotnet
An extension of LPeg that supports labeled failures
Cross-platform event loop library of asynchronous objects
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
Fast, safe, complete libvips bindings for image processing in Java / JVM projects
- ffm
- image-processing
- java
- libvips
VS add-in. Creates Xamarin.Android Binding Projects using gradle
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
XPath/XQuery 3.1 interpreter for Pascal with compatibility modes for XPath 2.0/XQuery 1.0/3.0, custom and JSONiq extensions, pattern matching, XML/HTML/JSON parsers and classes for HTTP/S requests
- xpath
- xquery
- pascal
- html
Clojure wrapper for Encog (v3) (Machine-Learning framework that specialises in neural-nets)
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
Persistent sorted maps and sets with log-time rank queries
A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.
- midi
- music-programming
- karaoke
- karaoke-player
Write LÖVE 2D projects with TypeScript
- love2d
- typescript
- typescript-declaration
- lua
A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees
- common-lisp
- reader
- extensible
- error-recovery
Simple JMeter performance tests API for python
Bindings to the Tauri API for projects using wasm-bindgen
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Qwen3.5-2B with a SIMT GPU inside its weights, 45 compiled layers in front of Qwen’s own, using its Gated DeltaNet layers as registers and memory.
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
A tool for Swift code modification intermediating between code generation and formatting.
A decent CSS parser.