Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library
Repository Index
47,133 repositories indexed
169–192 of 334 · Most stars
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
Clojure's data structures modified for use outside of Clojure
R bindings to the libgit2 library
- libgit2
- libgit2-library
- git
- git-client
Simply way to control goroutines execution order based on dependencies
- goflow
- golang
- goroutine
- concurency
Source code for the Uno Gallery apps and Uno Playground (made in Wasm)
- uno
- uno-platform
- webassembly
- wasm
Tiny library (<200B gzip) for deferring something by a "tick"
- defer
- javascript
- async
- wait
interactive programming of melodies, producing MIDI
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
[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
Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Open source Python/CUDA C/C++ to SASS/CUDA Binary compiler (previously closed source by nvidia), more efficient (10-18% speedup) General Matrix Multiplication (GEMM)
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
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
Rust-like error handling and options for Bun, Deno and Node.
- deno
- typescript
- rust
- error-handling
Secure firmware framework focusing on developer experience
A Verified Compiler for Gallina, Written in Gallina
Railway-oriented programming for .NET
Easy OCaml bindings for Javascript libraries
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
Helper modules for OTP applications
- elixir
- otp-applications
- otp
Reusable, composable patterns across Elixir libraries
- elixir
- pattern-matching
- composable-patterns
- guards
A library for formalizing Haskell types and functions in Coq