GLFW C++ Wrapper - thin, modern, C++17, header-only GLFW wrapper
- glfw
- cpp
- cpp17
- wrapper
Repository Index
47,133 repositories indexed
121–144 of 196 · Most stars
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Static scope analysis and transpilation of ES6 block scoped const and let variables to ES3 vars
The easiest Future and Promises framework in Swift. No magic. No boilerplate.
- swift
- futures
- promises
- generics
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
- uno
- uno-platform
- webassembly
- wasm
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
Go Stream, like Java 8 Stream.
- go-stream
- filter
- map
- flatmap
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer
Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.
- kotlin
- graphql
- client
- code-generation
Blazor.BFF.AzureAD.Template, Blazor WASM hosted in ASP.NET Core using Microsoft Entra ID BFF (server authentication)
- blazor
- aad
- azuread
- template
Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.
- v
- webview
- gtk
- webkit
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
A MIPS to Java bytecode binary translator
Swig template compiler for Gulp
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.
Messaging system for communication between classes / layers in delphi
- delphi
- firemonkey
- vcl
- fmx
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS
- libsass
- dotnet
- dotnet-standard
- scss
Translates GDScript code to C#
- godot
- godot-engine
- tool
- gdscript
Relation algebra library for Coq