Source code for the Uno Gallery apps and Uno Playground (made in Wasm)
- uno
- uno-platform
- webassembly
- wasm
Repository Index
47,133 repositories indexed
145–168 of 253 · Most stars
A formalization of geometry in Coq based on Tarski's axiom system
Gostradamus: Better DateTimes for Go 🕰️
- golang
- datetime
- date
- time
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
A Low-Latency, High Performance and Extensible WebAssembly Backend Library
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
A Verified Compiler for Gallina, Written in Gallina
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
An extended core library for F#.
- fsharp
- performance
- csharp
- immutable
Go cross-platform OpenGL bindings.
A library for formalizing Haskell types and functions in Coq
A fast ISO8601 date parser for Go
- go
- golang
- parser
- iso8601
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
feedparser gem - (universal) web feed parser and normalizer (XML w/ Atom or RSS, JSON Feed, HTML w/ Microformats e.g. h-entry/h-feed or Feed.HTML, Feed.TXT w/ YAML, JSON or INI & Markdown, etc.)
- feed
- atom
- rss
- feedparser
Interfacing Qt/QML with OCaml. Formely known as lablqt
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
A Lean formalization of the Classification of Finite Simple Groups
Bringing the wonders of Elm to the iOS platform
- elm
- ios
- gsoc-2017
A programming language for generating code for multiple platforms
The asynchronous version of Elixir's "with", resolving the dependency graph and executing the clauses in the most performant way possible!
- elixir
- async
Cross-platform event loop library of asynchronous objects