The Penn Locally Nameless Metatheory Library
Repository Index
47,133 repositories indexed
97–120 of 135 · Most stars
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
A Coreader-like Dependency Injection μFramework
- dependency-injection
- coreader
- functional-programming
- ios
Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.
Creates a system where users are forced to login in dedicated independent docker containers.
- docker
- docker-image
- virtual-machine
- multiuser
Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.
D version of the C headers for openssl
OpenGL and SDL2 bindings for Scala Native
- scala-native
- scala
- scala-library
- opengl
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Swift OpenSSL for OS X and Linux
Bindings to libgraphqlparser for R
A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.
- algebraic-effects
- side-effect
- side-effects
- typesafe
A modern, template-based, open source data transformation language
Common Lisp bindings for the OpenAL audio library.
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
OpenFaaS template for the crystal programming language
Unofficial OpenCV binding for D programming language
OCaml bindings for OpenGL
- opengl
- ocaml
COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.
- excel
- excel-vba
- vbscript
- vba
Common Lisp system for decoding public JSON Web Keys (JWK)
- common-lisp
- jwk
- jwkset
- lisp