DexieNET is a .NET wrapper for dexie.js minimalist wrapper for IndexedDB
Repository Index
47,133 repositories indexed
601–624 of 798 · Most stars
Type-safe library for building parallel applications, built on top of Async's Rpc module.
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
A Python type checker
D version of the C headers for openssl
🎬 SDL2 V module -- libSDL2 wrapper
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
Parallelism for Common Lisp
GObject Introspection D Package Repository
Advanced Developer Async Programming Toolkit
- game-engine
- event
- framework
- async
Next Generation of Apex Development
- salesforce-apex
- code-generation
- annotation
- transpiler
Generate TypeScript interfaces from Go structs/interfaces - useful for JSON RPC
Clojure-style concurrency operations in Common Lisp
Fully typesafe, Rust-like Result and Option types for Python
- python3
- rust
- result-type
- rust-option
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
OpenGL and SDL2 bindings for Scala Native
- scala-native
- scala
- scala-library
- opengl
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Type aware promises for crystal lang
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
A ClojureScript wrapper for RxJS
Wrapper around mbedtls
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es