Extism Go SDK - easily run WebAssembly modules in your Go applications
Repository Index
47,133 repositories indexed
97–120 of 160 · Most stars
A Verified Compiler for Gallina, Written in Gallina
Helper modules for OTP applications
- elixir
- otp-applications
- otp
A Lean formalization of the Classification of Finite Simple Groups
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications
- topic
- pubsub
- go
- golang
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 mysqldump anonymizer
- mysqldump
- anonymizer
- database-anonymizer
- rgpd
A Ruby wrapper for Latent Dirichlet Allocation (LDA).
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
Simple I/O event notification library wirtten in Golang
- epoll
- go
- networking
- event
A tool for Swift code modification intermediating between code generation and formatting.
Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs
- glfw
- glfw3
- glfw3-bindings
- java
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
A curated list of ready-to-use (functional programming) array filters (TS / ESM / CJS)
- filter
- filtering
- filters
- fp
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
- elm
- json-schema
- json
- elixir
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
The Rockstar programming language specification
An implementation of IO, Stream, Fiber for golang inspired by cats and fs2
A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.
Blazor.BFF.AzureAD.Template, Blazor WASM hosted in ASP.NET Core using Microsoft Entra ID BFF (server authentication)
- blazor
- aad
- azuread
- template