Elegant error/exception handling in Elixir, with result monads.
- pipeline
- monad
- macros
- elixir
Repository Index
47,133 repositories indexed
649–672 of 1,986 · Most stars
C++ bindings/wrapper for SDL2
C++11 thread-safe container for sharing data between threads (synchronized queue)
- cpp
- multithreading
- thread-safe
- channel
Lua bindings for POSIX APIs
- posix
- luaposix
- posix-apis
- lua
webgpu.h - C version of the JS API, for both native and Wasm. A multi-vendor standard between Dawn/Emdawnwebgpu and wgpu-native. Designed primarily for binding into higher-level languages.
An ERB-style templating language for Go.
- go
- template-language
- erb
Mono/.NET bindings for Qt
- qt
- mono
- csharp
- dotnet
💎 Ruby wrapper for Pygments syntax highlighter
- pygments
- ruby
- syntax-highlighting
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
The ultimate Python binding for Vulkan API
- vulkan
- python
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
- fsharp
- rfc
- language-design
- programming-language
Safe and easy to use crypto for iOS and macOS
- cryptography
- swift
- libsodium
A thin Java wrapper to access the Steamworks API
- java
- bindings
- steamworks
An opinionated F# Library for error handling
- fsharp
- error-handling
- railway-oriented-programming
- category-theory
java port of Underscore.js
- java
- underscore
- javascript
- functional-programming
"Lispsy" Lisp(ish) to C Converter (designed for CLISP)
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
A Parsing Expression Grammar (PEG) module, using the D programming language.
Bindings to mapnik for node.js
Auto generated Go wrapper for Dear ImGui via cimgui
- golang
- imgui
- cimgui