An Optional Type System for Lua
Repository Index
61,121 visible repositories in the index
1,009–1,032 of 2,623 · Most stars
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
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.
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
A parser combinator library for F#
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
Project Delphi-OpenCV. Translation of OpenCV library header files in Delphi
A wrapper for the Eclipse Mosquitto™ MQTT client library for PHP.
- php
- mqtt-client
- mosquitto
- libmosquitto
Lanes is a lightweight, native, lazy evaluating multithreading library for Lua 5.1 to 5.5.