Trending repositories

701.JeremyCCHsu / Python-Wrapper-for-World-Vocoder

A Python wrapper for the high-quality vocoder "World"

702.Laex / Delphi-OpenCV

Project Delphi-OpenCV. Translation of OpenCV library header files in Delphi

• opencv
• delphi
• fpc
• ffmpeg

703.sindresorhus / p-throttle

Throttle promise-returning & async functions

704.recursion-schemes / recursion-schemes

Generalized bananas, lenses and barbed wire

705.airbusgeo / godal

golang wrapper for github.com/OSGEO/gdal

706.21-DOT-DEV / swift-secp256k1

Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.

• taproot
• secp256k1
• swift
• schnorr
• bitcoin
• ecdsa
• +14 more

707.godunko / adawebpack

Ada WASM Runtime and Bindings for Web API

• wasm
• gnat-llvm
• ada-runtime
• ada-wasm-runtime
• ada

708.Kymorphia / gid

GObject Introspection D Package Repository

709.pegjs / pegjs

PEG.js: Parser generator for JavaScript

• pegjs
• peg
• javascript
• parser-generator

710.Jeffail / gabs

For parsing, creating and editing unknown or dynamic JSON in Go

• go
• json
• parsing
• golang

711.kennethreitz / maya

Datetimes for Humans™

• datetimes
• dates
• times
• date
• time
• python
• +3 more

712.eclipsesource / J2V8

Java Bindings for V8

713.castwide / solargraph

A Ruby language server.

• ruby
• language-server
• intellisense

714.jphp-group / jphp

JPHP - an implementation of PHP on Java VM

• php
• php-language
• jvm
• bytecode
• jit
• compiler
• +4 more

715.devinus / poolboy

A hunky Erlang worker pool factory

• erlang
• pool
• worker-pool

716.GEOSwift / GEOSwift

The Swift Geometry Engine.

• geojson
• cartography
• maps
• geo
• geospatial
• swift
• +11 more

717.cincheo / jsweet

A Java to JavaScript transpiler.

• jsweet
• javascript-transpiler
• java
• typescript
• transpiler
• compiler
• +2 more

718.ryanhaining / cppitertools

Implementation of python itertools and builtin iteration functions for C++17

719.lacuna / bifurcan

functional, durable data structures

720.fsprojects / FSharpPlus

Extensions for F#

• f-sharp
• generic-functions
• monad-transformers
• arrow-functions
• extensions
• lenses
• +1 more

721.agracio / edge-js

Run .NET and Node.js code in-process on Windows, MacOS, and Linux

• csharp
• dotnet
• dotnet-core
• dotnet-framework
• dotnetcore
• dotnetframework
• +5 more

722.hrldcpr / pcollections

A Persistent Java Collections Library

723.aarzilli / golua

Go bindings for Lua C API - in progress

724.meh / ruby-tesseract-ocr

A Ruby wrapper library to the tesseract-ocr API.

• rubynlp
• tesseract-ocr
• ruby
• wrapper

725.Gwion / Gwion

:musical_note: strongly-timed musical programming language

• language
• composition
• programming-language
• synthesis
• sound
• real-time
• +9 more

726.gotranspile / cxgo

Tool for transpiling C to Go.

• go
• c
• transpiler

727.RightTyper / RightTyper

A fast and efficient type assistant for Python, including tensor shape inference

• python
• typing

728.yippee-fun / literal

A literal Ruby gem. 💎

• enums
• ruby
• types

729.moxystudio / node-proper-lockfile

An inter-process and inter-machine lockfile utility that works on a local or network file system.

• lockfile
• atomic
• nodejs
• cross-process
• lock
• filesystem

730.formal-land / rocq-of-ocaml

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

731.yantrajs / yantra

JavaScript Engine for .NET

• netcore
• standard
• csharp
• csharp-library
• net-standard
• javascript
• +13 more

732.Kozea / tinycss2

A tiny CSS parser

• python
• css
• parser

733.uds-psl / coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

• coq

734.WasmCert / WasmCert-Coq

A mechanisation of Wasm in Rocq

• webassembly
• wasm
• coq
• rocq-prover

735.SSProve / ssprove

A foundational framework for modular cryptographic proofs in Coq

• cryptography
• coq-library
• coq-formalization
• state-separating-proofs
• formal-verification
• modular-cryptographic-proofs

736.galax-io / gatling-picatinny

Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions

• gatling
• performance
• performance-testing
• gatling-plugin
• dsl
• feeders
• +6 more

737.GetFirefly / fireflyArchived

An alternative BEAM implementation, designed for WebAssembly

• beam
• erlang
• erlang-vm
• virtual-machine
• web-assembly
• compiler
• +2 more

738.milessabin / shapeless

Generic programming for Scala

• scala
• typelevel
• functional-programming
• generic-programming
• fp

739.Boscop / web-view

Rust bindings for webview, a tiny cross-platform library to render web-based GUIs for desktop applications

740.emcconville / wand

The ctypes-based simple ImageMagick binding for Python

• wand
• python
• ctypes
• imagemagick

741.CopernicaMarketingSoftware / PHP-CPP

Library to build PHP extensions with C++

742.esseks / monicelli

An esoteric programming language, come se fosse antani.

743.sirthias / parboiled

Elegant parsing in Java and Scala - lightweight, easy-to-use, powerful.

744.katef / libfsm

DFA regular expression library & friends

• fsm
• regex
• lexer-generator
• regexp
• regexes
• regex-validator
• +13 more

745.libSDL2pp / libSDL2pp

C++ bindings/wrapper for SDL2

• sdl
• c-plus-plus
• gamedev
• graphics
• sdl-mixer
• sdl-ttf
• +2 more

746.jscoq / jscoq

A port of Coq to Javascript -- Run Coq in your Browser

• coq
• proof-assistant
• javascript
• integrated-development-environment

747.pyFFTW / pyFFTW

A pythonic python wrapper around FFTW

748.b3b00 / csly

a C# embeddable lexer and parser generator (.Net core)

• dot-net
• csharp
• parser
• lexer-generator
• parser-generator
• lexer
• +4 more

749.dazinator / DotNet.Glob

A fast globbing library for .NET / .NETStandard applications. Outperforms Regex.

• glob
• glob-pattern
• globbing-library
• csharp

750.ruby-gnome / ruby-gnome

A set of bindings for the GNOME libraries to use from Ruby.

751.jstachio / jstachio

Java type safe statically compiled mustache

• annotation-processor
• java
• mustache
• template-engine
• type-safe
• dropwizard
• +2 more

752.typedb / typeql

TypeQL: Built for systems, not records

• reasoning
• query-language
• query
• inference
• logic
• database
• +6 more

753.GoogleCloudPlatform / healthcare-data-harmonization

This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.

754.math-comp / analysis

Mathematical Components compliant Analysis Library

• rocq
• analysis
• coq
• mathcomp
• ssreflect

755.AdaCore / gtkada

Ada bindings for the GTK+ graphical library.

756.EtienneLenoir / duckdb-vba

Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.

• csv
• dll
• duckdb
• duckdb-database
• json
• parquet
• +10 more

757.omcljs / om

ClojureScript interface to Facebook's React

758.zxh0 / jvm.go

A toy JVM written in Go

• jvm
• golang

759.swannodette / mori

ClojureScript's persistent data structures and supporting API from the comfort of vanilla JavaScript

760.twitter / util

Wonderful reusable code from Twitter

• finagle
• scala
• utility

761.ghcjs / ghcjs

Haskell to JavaScript compiler, based on GHC

762.monix / monix

Asynchronous, Reactive Programming for Scala and Scala.js.

• scala
• monix
• typelevel
• functional-programming
• reactive-programming
• fp
• +4 more

763.ngs-lang / ngs

Next Generation Shell (NGS)

• programming-language
• shell

764.ziutek / emgo

Emgo: Bare metal Go (language for programming embedded systems)

765.softwaremill / quicklens

Modify deeply nested case class fields

• scala
• lenses
• functional-programming

766.meshpro / pygalmesh

:spider_web: A Python interface to CGAL's meshing tools

• mesh
• mesh-generation
• mathematics
• engineering
• python
• cgal
• +1 more

767.realitix / vulkan

The ultimate Python binding for Vulkan API

• vulkan
• python

768.stephan-tolksdorf / fparsec

A parser combinator library for F#

769.javadev / underscore-java

java port of Underscore.js

• java
• underscore
• javascript
• functional-programming
• xml
• json
• +7 more

770.mmhelloworld / idris-jvm

Idris on the JVM

• idris
• jvm
• java

771.serpapi / nokolexbor

High-performance HTML5 parser for Ruby based on Lexbor, with support for both CSS selectors and XPath.

• c-extension
• css
• html5
• parser
• ruby
• web-scraping
• +2 more

772.IronScheme / IronScheme

IronScheme

• scheme
• c-sharp
• r6rs
• r6rs-scheme
• dotnetcore
• dotnet

773.dlang / visuald

Visual D - Visual Studio extension for the D programming language

774.RomanYankovsky / DelphiAST

Abstract syntax tree builder for Delphi

• delphi
• syntax-tree
• pascal

775.ocaml-community / sedlex

An OCaml lexer generator for Unicode

776.bohonghuang / cl-gtk4

GTK4/Libadwaita/WebKit2 bindings for Common Lisp.

777.nikodemus / screamer

Screamer is an extension of Common Lisp that adds support for nondeterministic programming.

778.Josverl / micropython-stubber

Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

• micropython-stubs
• micropython-stubber
• firmware-stubs
• python
• micropython
• static-typing
• +6 more

779.neozhu / cleanaspire

CleanAspire is a cloud-native template built on Aspire, using .NET 10 Minimal APIs and Blazor WebAssembly to deliver lightweight, scalable PWAs with offline support.

• blazor-webassembly
• clean-architecture
• aspire
• blazor-wasm

780.emicklei / melrose

interactive programming of melodies, producing MIDI

• music
• notes
• music-programming
• golang
• midi
• livecoding
• +3 more

781.fosskers / transducers

Transducers: Ergonomic, efficient data processing.

• functional-programming
• lisp
• transducers

782.OfekShilon / optview2

User-oriented fork of LLVM's opt-viewer

783.tomhea / flipjump

The single instruction language - Flip a bit, then Jump

• esoteric-programming-language
• programming-language
• oisc
• esolang
• macro-assembler
• compiler

784.IanHarvey / pcc

Portable C Compiler sources

785.FractalFir / wrapped_mono

Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.

• csharp
• dotnet
• fsharp
• mono
• rust

786.bohonghuang / claw-raylib

Fully auto-generated Common Lisp bindings to Raylib (6.0/5.5) and Raygui (4.0) using claw and cffi-object

787.Inspiaaa / HCoroutines

A powerful C# coroutine library for Godot.

• coroutines
• csharp
• godot
• hierarchical
• godot-engine
• godot4
• +1 more

788.tj / co

The ultimate generator based flow-control goodness for nodejs (supports thunks, promises, etc)

789.nsf / gocode

An autocompletion daemon for the Go programming language

790.rubinius / rubinius

The Rubinius Language Platform

• rubinius
• programming-languages
• virtual-machine

791.libgit2 / git2go

Git to Go; bindings for libgit2. Like McDonald's but tastier.

• libgit2
• git2go

792.rstudio / tensorflow

TensorFlow for R

793.datacrypt-project / hitchhiker-tree

Functional, persistent, off-heap, high performance data structure

794.nikic / iter

Iteration primitives using generators

795.microsoft / MobiusArchived

C# and F# language binding and extensions to Apache Spark

• spark
• apache-spark
• rdd
• dataframe
• dstream
• dataset
• +10 more

796.lmdbjava / lmdbjava

Lightning Memory Database (LMDB) for Java: a low latency, transactional, sorted, embedded, key-value store

• lmdb
• java
• key-value
• embedded-database
• database
• in-memory
• +1 more

797.inhabitedtype / angstrom

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

798.lilactown / helix

A simple, easy to use library for React development in ClojureScript.

• clojurescript
• hooks
• react
• interop
• cljs

799.uwplse / verdi

A framework for formally verifying distributed systems implementations in Coq

• verdi
• coq
• coq-library
• proof
• distributed-systems

800.adrg / libvlc-go

Handcrafted Go bindings for libVLC and high-level media player interface

• libvlc
• go
• vlc
• bindings
• golang
• video
• +13 more