Source code for the Uno Gallery apps and Uno Playground (made in Wasm)
- uno
- uno-platform
- webassembly
- wasm
Repository Index
47,133 repositories indexed
97–120 of 196 · Most stars
⛓ A chainable interface for Swift's async/await.
- async-await
- swift5
- concurrency
- async
A formalization of geometry in Coq based on Tarski's axiom system
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
- go
- golang
- type
- struct
A Low-Latency, High Performance and Extensible WebAssembly Backend Library
A simple cross platform .NET API for Intel MKL
- mkl
- cross-platform
- matrix
- linear-algebra
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
Go cross-platform OpenGL bindings.
Common Lisp port of the Django templating language
- template-engine
- html-template
- lisp
- common-lisp
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Lua binding library for modern C++
- lua
- bindings
- c-plus-plus
- c-plus-plus-library
A common cross-platform GUI library, the core uses Lazarus LCL.
- go
- govcl
- gui
- liblcl
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
Bringing the wonders of Elm to the iOS platform
- elm
- ios
- gsoc-2017
Tool for translation type comments to type annotations in Python
- annotations
- python-3-6
- source-to-source
- type-hints
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
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
A Ruby wrapper for Latent Dirichlet Allocation (LDA).
Complete SQLite API translation and simple wrapper for Delphi and FreePascal
Use any web browser as GUI, with V in the backend and modern web technologies in the frontend.
- browser
- javascript
- webui
- vwebui
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing