A simple PureScript wrapper for React
Repository Index
82,088 visible repositories in the index
2,905–2,928 of 4,331 · Most stars
Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
Flare is an ActionScript library for creating visualizations that run in the Adobe Flash Player. From basic charts and graphs to complex interactive graphics, the toolkit supports data management, visual encoding, animation, and interaction techniques.
High-performance Vulkan driver with automated resource management and execution
- game-engine
- 3d-game-engine
- 3d
- game-development
Cryptography Educational Foundations
- mathematics
- rustlang
- zero-knowledge
- cryptography
A portable and modular superset of WGSL
Cryptography-related format encoders/decoders: DER, PEM, PKCS, PKIX
Scrape/Crawl article from any site automatically. Make any web page readable, no matter Chinese or English.
A succinct wrapper for matplotlib
A graphical display window manager in neovim
- lua
- lua-ffi
- luajit-ffi
- neovim
Don't Roll Your Own Crypto: fast, type-safe, pure-Rust cryptography with post-quantum support
- libsodium
- crypto
- rust
- cryptography
Wraps any WSGI application and makes it easy to send test requests to that application, without starting up an HTTP server.
Python ctypes wrapper around SDL2
- sdl2
- sdl2-image
- sdl2-ttf
- sdl2-mixer
PostgreSQL foreign data wrapper for MongoDB
Bootstrap form components for Reagent
- reagent
- forms
- clojurescript
- web
This repository hosts the specification for Scene Layers which are containers for arbitrarily large amounts of geographic data. The delivery and persistence model for Scene Layers, referred to as Indexed 3d Scene Layer (I3S) and Scene Layer Package (SLPK) respectively, are specified.
- web-development
- 3d
- specification
DEPRECATED: Atomic UI Framework based on Web Components and Runtime CSS Generation for rapidly building interfaces that follow your Design System 🌈DE
- markup-language
- designsystem
- css-generator
- web-components
JSON Object Signing and Encryption (JOSE) for Erlang and Elixir
- jose
- cryptography
- jwt
- erlang
The unix-way web crawler
Thin F# wrapper around Npgsql, the PostgreSQL database driver for .NET
- postgresql
- npgsql
- fsharp
- analyzer
An observable microservice bus library for .NET, that wraps the underlying message transports in simple Rx based interfaces.
- messaging
- microservices
- servicebus
- observable
Scrape any website, article or RSS/Atom Feed with ease!
- scrape
- elixir
- readability
- rss
Free, open-source RAW editor for Linux, Android, Windows and macOS. GPU-accelerated, non-destructive, with masks, HDR merge and local AI.
- editing
- egui
- image-processing
- photo-editing
Translated☕ Using AI to assist Java / Spring Boot development (AI for Java / AI for Spring) | Requirements, implementation, testing, review, and delivery | Graph → Loop → Workflow → Agent / Skill, fictional runnable examples, and worktree / Docker tools | Aimed at business development, not an implementation of the Spring AI framework
- ai-workflow
- coding-agent
- developer-tools
- java