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
49–72 of 78 · Most stars
Bringing the wonders of Elm to the iOS platform
- elm
- ios
- gsoc-2017
A programming language for generating code for multiple platforms
Cross-platform event loop library of asynchronous objects
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
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Use any web browser as GUI, with V in the backend and modern web technologies in the frontend.
- browser
- javascript
- webui
- vwebui
GLFW C++ Wrapper - thin, modern, C++17, header-only GLFW wrapper
- glfw
- cpp
- cpp17
- wrapper
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
- uno
- uno-platform
- webassembly
- wasm
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
V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.
- v
- webview
- gtk
- webkit
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Messaging system for communication between classes / layers in delphi
- delphi
- firemonkey
- vcl
- fmx
A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS
- libsass
- dotnet
- dotnet-standard
- scss
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
Common tools for projects
- cross-platform
- pascal-language
- library
- json
D bindings for the sokol headers (https://github.com/floooh/sokol)
- bindings
- d
- dlang
- sokol