Trending repositories

501.iczelia / malbolge-lisp

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

• programming-language
• lisp
• malbolge
• esoteric

502.uspgamedev / luasteam

Bindings to connect lua with Steam API

• game-development
• love2d
• lua
• steam-api

503.sentomk / patternia

Providing pattern matching for modern C++.

• cpp
• pattern-matching
• modern-cpp

504.phan / phan

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

• php
• static-analysis
• phan
• analysis
• analyzer
• static-code-analysis

505.meta / Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

506.zephir-lang / zephir

Zephir is a compiled high-level language aimed to ease the creation of C-extensions for PHP

• zephir
• phalcon
• php-internals
• php-extension
• php
• php-extensions
• +3 more

507.google / googlesql

GoogleSQL(formerly ZetaSQL) - Analyzer Framework for SQL

508.amaembo / streamex

Enhancing Java Stream API

• java
• java8
• collections
• streams-api

509.luafun / luafun

Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.

• lua
• luajit
• functional-programming
• luarocks

510.sustrik / libdill

Structured concurrency in C

• structured-concurrency

511.dotpcap / sharppcap

Official repository - Fully managed, cross platform (Windows, Mac, Linux) .NET library for capturing packets

• capture-packets
• c-sharp
• cross-platform
• network-monitoring
• network-programming
• npcap
• +9 more

512.go-ole / go-ole

win32 ole implementation for golang

513.eliaskosunen / scnlib

scanf for modern C++

• c-plus-plus
• cpp
• scanf
• input
• io
• parsing
• +1 more

514.jscl-project / jscl

A Lisp-to-JavaScript compiler bootstrapped from Common Lisp

• common-lisp
• jscl
• compiler
• javascript
• lisp

515.jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

• category-theory
• coq
• monad
• profunctor
• comonads
• monoid
• +7 more

516.google / clspv

Clspv is a compiler for OpenCL C to Vulkan compute shaders

• spirv
• vulkan-compute-shaders
• opencl
• spir
• vulkan

517.python-parsy / parsy

Easy and elegant parser combinators for Python. With awesome docs.

518.dragonwell-project / dragonwell8

Alibaba Dragonwell8 JDK

• dragonwell8
• java
• openjdk
• jdk
• lts
• java8

519.Suor / funcy

A fancy and practical functional tools lib

• functional-programming
• utilities
• python

520.libgit2 / rugged

ruby bindings to libgit2

• libgit2
• ruby
• git

521.asynkron / protoactor-dotnet

Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin

• actors
• clustering
• proto-actor
• akka
• distributed-systems
• distributed-computing

522.AndyObtiva / glimmer

DSL Framework consisting of a DSL Engine and a Data-Binding Library used in Glimmer DSL for SWT (JRuby Desktop Development GUI Framework), Glimmer DSL for Opal (Pure Ruby Web GUI), Glimmer DSL for LibUI (Prerequisite-Free Ruby Desktop Development GUI Library), Glimmer DSL for Tk (Ruby Tk Desktop Development GUI Library), Glimmer DSL for GTK (Ruby-GNOME Desktop Development GUI Library), Glimmer DSL for XML (& HTML), and Glimmer DSL for CSS

• desktop
• desktop-application-sdk
• ruby
• jruby
• glimmer
• gui-framework
• +10 more

523.libvips / pyvips

python binding for libvips using cffi

• python
• image-processing
• image-manipulation

524.phantomics / april

The APL programming language (a subset thereof) compiling to Common Lisp.

525.pancsta / asyncmachine-go

state machine which runs code

• golang
• workflows
• state-machine
• actor-model
• aop
• consensus
• +14 more

526.gogpu / naga

Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.

• compiler
• go
• golang
• graphics
• pure-go
• shader
• +12 more

527.nodejs / http-parserArchived

http request/response parser for c

• nodejs
• node

528.sql-machine-learning / sqlflow

Brings SQL and AI together.

• sqlflow
• sql-syntax
• ai
• transpiler
• deep-learning
• databases
• +1 more

529.khizmax / libcds

A C++ library of Concurrent Data Structures

• lock-free
• containers
• hazard-pointer
• rcu

530.Dobiasd / FunctionalPlus

Functional Programming Library for C++. Write concise and readable C++ code.

• range
• composition
• stl
• functional-programming
• algorithms
• header-only
• +6 more

531.nguyenq / tess4j

Java JNA wrapper for Tesseract OCR API

532.soutaro / steep

Static type checker for Ruby

• ruby
• typechecker

533.pyca / pynacl

Python binding to the Networking and Cryptography (NaCl) library

• cryptography
• libsodium
• nacl
• python

534.UniMath / UniMath

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

• coq
• mathematics
• unimath
• coq-library
• foundations
• rocq
• +1 more

535.code-disaster / steamworks4j

A thin Java wrapper to access the Steamworks API

• java
• bindings
• steamworks

536.ott-lang / ott

The Ott tool for writing definitions of programming languages and calculi

537.samshadwell / TrumpScriptArchived

Make Python great again

538.redplanetlabs / specter

Clojure(Script)'s missing piece

539.sprache / Sprache

A tiny, friendly, C# parser construction library

540.jpbarrette / curlpp

C++ wrapper around libcURL

• libcurl
• curlpp
• c-plus-plus
• transfer

541.denoland / dnt

Deno to npm package build tool.

542.objectbox / objectbox-go

Embedded Go Database, the fast alternative to SQLite, gorm, etc.

• database
• iot
• go
• golang
• embedded
• edge
• +3 more

543.leonoel / missionary

A functional effect and streaming system for Clojure/Script

• clojure
• clojurescript
• reactive-streams

544.ichiban / prolog

The only reasonable scripting engine for Go.

• interpreter
• prolog
• golang
• go
• logic-programming

545.MobilityData / gtfs-realtime-bindings

Language bindings generated from the GTFS Realtime protocol buffer spec for popular languages.

546.CertiRocq / certirocq

A Verified Compiler for Gallina, Written in Gallina

• coq
• gallina
• compiler
• formal-verification
• rocq-prover

547.linkedin / css-blocks

High performance, maintainable stylesheets.

• css
• css-modules
• sass

548.veandco / go-sdl2

SDL2 binding for Go

• go
• binding
• sdl2
• maintainer-wanted

549.feedjira / feedjira

A feed parsing library

• parser
• rss-parser
• feed-parsing
• rss

550.ocaml-community / utop

Universal toplevel for OCaml

551.tessi / wasmex

Execute WebAssembly from Elixir

• rust
• wasm
• elixir
• elixir-library
• webassembly

552.bloomberg / quantum

Powerful multi-threaded coroutine dispatcher and parallel execution engine

• coroutines
• parallel
• multi-threading
• cpp
• boost

553.vhelin / wla-dx

WLA DX - Yet Another ANSI C GB-Z80/Z80/Z80N/eZ80/6502/65C02/65CE02/65816/68000/6800/6801/6809/8008/8080/HUC6280/SPC-700/SuperFX/Cx4/SH-2 Multi Platform Cross Assembler Package

554.SquirrelJME / SquirrelJME

SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.

• squirreljme
• java
• java-me
• iot
• embedded
• jvm
• +9 more

555.typelead / eta

The Eta Programming Language, a dialect of Haskell on the JVM

• eta
• jvm
• haskell
• functional-programming

556.ryanmjacobs / c

Compile and execute C "scripts" in one go!

• cli
• tcc
• clang
• gcc
• compiler
• script
• +2 more

557.taviso / ctypes.sh

A foreign function interface for bash.

558.preshing / junction

Concurrent data structures in C++

559.graphql-rust / graphql-client

Typed, correct GraphQL requests and responses in Rust

• graphql
• rust
• wasm
• webassembly
• client

560.icsharpcode / CodeConverter

Convert code from C# to VB.NET and vice versa using Roslyn

• online-snippet-converter
• code-converter
• c-sharp
• vb-net
• visual-studio
• roslyn
• +1 more

561.libvips / ruby-vips

Ruby extension for the libvips image processing library.

• libvips
• ruby
• image-processing

562.libconfuse / libconfuse

Small configuration file parser library for C.

• config
• configuration-files
• c
• conf
• config-file
• config-parser
• +6 more

563.pascalabcnet / pascalabcnet

The new generation Pascal programming language for .NET

564.pyside / pyside-setup

Git super project for PySide

• python
• qt
• pyside
• qtforpython
• hacktoberfest

565.JelleZijlstra / pycroscope

A Python type checker

566.scalaz / scalaz

Principled Functional Programming in Scala

• scalaz
• scala
• functional-programming
• scala-native
• scalajs

567.andywer / threads.js

🧵 Make web workers & worker threads as simple as a function call.

• javascript
• nodejs
• thread-pool
• web-worker
• isomorphic-javascript
• multithreading
• +3 more

568.gotk3 / gotk3

Go bindings for GTK3

569.google / marlArchived

A hybrid thread / fiber task scheduler written in C++ 11

• threads
• fibers
• scheduler
• task-scheduler
• tasks
• coroutine
• +4 more

570.wa-lang / wa

TranslatedThe Wa Programming Language

• programming-language
• wa
• language
• wa-lang

571.dashbitco / flow

Computational parallel flows on top of GenStage

572.llir / llvm

Library for interacting with LLVM IR in pure Go.

• llvm-ir
• go
• golang
• llvm

573.go-gl / gl

Go bindings for OpenGL (generated via glow)

574.noneback / go-taskflow

A pure go General-purpose Task-parallel Programming Framework

575.cffi / cffi

The Common Foreign Function Interface

576.ppomes / myanon

A mysqldump anonymizer

• mysqldump
• anonymizer
• database-anonymizer
• rgpd
• anonymization
• mysql
• +12 more

577.club-doki7 / vulkan4j

Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs

• glfw
• glfw3
• glfw3-bindings
• java
• java22
• opengl
• +12 more

578.llvm-mirror / clangArchived

Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project

• compiler
• c-plus-plus
• c
• objective-c
• performance
• coding-style
• +1 more

579.philss / floki

Floki is a simple HTML parser that enables search for nodes using CSS selectors.

• elixir
• html-parser
• css-selector
• floki
• html5ever
• fast-html
• +2 more

580.gammazero / workerpool

non-blocking concurrency-limiting goroutine pool

• worker-pool
• concurrency

581.marpple / FxTS

A functional programming library for TypeScript/JavaScript

• fp
• typescript
• lazy
• concurrency
• javascript

582.dhall-lang / dhall-haskell

Maintainable configuration files

• configuration-language
• haskell
• dhall

583.xtaci / gaio

High-performance, minimalist async-io (proactor) networking for Golang.

• asyncio
• proactor
• c10k
• epoll
• kqueue
• eventfd
• +3 more

584.domn1995 / dunet

C# discriminated union source generator

• csharp
• discriminated-unions
• dotnet
• functional-programming
• csharp-sourcegenerator
• fp
• +6 more

585.aquasecurity / libbpfgo

eBPF library for Go. Powered by libbpf.

• bpf
• golang
• go
• ebpf
• linux

586.javapathfinder / jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

587.andreiavrammsd / cpp-channel

C++11 thread-safe container for sharing data between threads (synchronized queue)

• cpp
• multithreading
• thread-safe
• channel
• concurrent-queue
• queue
• +2 more

588.luaposix / luaposix

Lua bindings for POSIX APIs

• posix
• luaposix
• posix-apis
• lua
• luajit
• lua-binding
• +1 more

589.howerj / dbcc

CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library

• dbc
• c
• misra
• automotive
• code-generation
• code-generator
• +1 more

590.xuri / xgen

XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator

• xsd
• xsd-schema
• xml
• xml-parser
• xml-parsing
• generator
• +8 more

591.reugn / async

Synchronization and asynchronous computation package for Go

• go
• async
• future
• promise
• synchronization
• concurrency
• +8 more

592.rocq-community / fourcolor

Formal proof of the Four Color Theorem [maintainer=@ybertot]

• coq
• ssreflect
• mathcomp
• four-color-theorem
• coq-ci

593.jorenham / optype

Opinionated typing package for precise type hints in Python

• pep484
• python
• python-typing
• numpy
• static-typing
• type-inference

594.mxcl / PromiseKit

Promises for Swift & ObjC.

• swift
• objc
• promises

595.google / grumpyArchived

Grumpy is a Python to Go source code transcompiler and runtime.

596.yoav-lavi / melody

Melody is a language that compiles to regular expressions and aims to be more readable and maintainable

• regular-expression
• language
• regex
• compiler
• melody
• melodylang
• +2 more

597.Jeffail / tunny

A goroutine pool for Go

• workers
• goroutine-pool
• golang
• go

598.clojure / core.async

Facilities for async programming and communication in Clojure

599.gographics / imagick

Go binding to ImageMagick's MagickWand C API

• imagick
• magickwand
• imagemagick
• go
• imagemagick-magickwand
• golang

600.MyIntervals / PHP-CSS-Parser

A Parser for CSS Files written in PHP. Allows extraction of CSS files into a data structure, manipulation of said structure and output as (optimized) CSS

• hacktoberfest
• composer-package
• css
• parser