C# Bindings for the Vulkan API & SPIR-V
- vulkan
- c-sharp
- spir-v
- dotnet-standard
Repository Index
80,339 visible repositories in the index
1,249–1,272 of 1,967 · Most stars
A shading language that can be compiled into GLSL ES 3.0
A complete set of primitives for concurrency and reactive programming on Swift
- swift
- concurrency
- concurrency-library
- future
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
Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler
- haxe
- golang
- go
- compiler
Common Lisp CFFI bindings to the IUP Portable User Interface library (pre-ALPHA)
- common-lisp
- cffi
- gui
- iup
Ruby bindings to RE2, a "fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python".
- regex
- regular-expression
- ruby
Golang library for querying and parsing OFX
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
Go binding for the cairo graphics library
F# Cold Tasks and Cancellable Tasks
- fsharp
- dotnet
- async-await
- dotnet-core
: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
Javascript Generalized Parser Combinators
- functional-programming
- parsec
- parser-combinator
- monad
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
A little scheme implementation on top of Clojure
cl-cffi-gtk is a Lisp binding to the GTK+ 3 library.
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
Delphi and Free Pascal bindings and classes for Microsoft's ChakraCore library
- chakracore
- microsoft
- javascript-engine
- delphi
Lua binding to ZeroMQ
- lua-bindings
- zeromq
- ffi
- messaging
Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety
Erlang NIF for sqlite