Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
501–600 of 1,204 by Attention Score · Aug 7, 2026 – Nov 4, 2026 (UTC)
503.pointlander / peg
Peg, Parsing Expression Grammar, is an implementation of a Packrat parser generator.
504.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
506.google / clspv
Clspv is a compiler for OpenCL C to Vulkan compute shaders
- spirv
- vulkan-compute-shaders
- opencl
- spir
- vulkan
508.Stiffstream / sobjectizer
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
- actors
- actor-framework
- +13 more
509.luaposix / luaposix
Lua bindings for POSIX APIs
- posix
- luaposix
- posix-apis
- lua
- luajit
- lua-binding
- +1 more
510.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
511.openmusic-project / openmusic
The OpenMusic visual programming / computer-aided composition environment
- computer-aided-composition
- visual-programming
- music
- openmusic
512.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.
514.pancsta / asyncmachine-go
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
- aop
- consensus
- +14 more
515.redux-saga / redux-saga
An alternative side effect model for Redux apps
- redux
- sagas
- effects
- middleware
- redux-saga
516.google / grumpyArchived
Grumpy is a Python to Go source code transcompiler and runtime.
517.sql-machine-learning / sqlflow
Brings SQL and AI together.
- sqlflow
- sql-syntax
- ai
- transpiler
- deep-learning
- databases
- +1 more
518.bytedeco / javacpp
The missing bridge between Java and native C++
- javacpp
- java
- c
- cpp
- c-plus-plus
- jni
- +1 more
519.meta / Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
520.yanyiwu / gojieba
TranslatedThe Golang version of "Jieba" (结巴, "stammerer") Chinese word segmentation
523.dashbitco / flow
Computational parallel flows on top of GenStage
524.fetlang / fetlang
Fetish-themed programming language
- transpiler
- compiler
- language
- esoteric-language
- esolang
- programming-language
- +1 more
526.marpple / FxTS
A functional programming library for TypeScript/JavaScript
- fp
- typescript
- lazy
- concurrency
- javascript
527.lmbelo / python4delphi
Free components that wrap up Python into Delphi and Lazarus (FPC)
- delphi
- lazarus
- python
- pascal
528.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
530.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
532.bloomberg / quantum
Powerful multi-threaded coroutine dispatcher and parallel execution engine
- coroutines
- parallel
- multi-threading
- cpp
- boost
533.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
534.fsharp / fslang-design
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
535.libconfuse / libconfuse
Small configuration file parser library for C.
- config
- configuration-files
- c
- conf
- config-file
- config-parser
- +6 more
536.kiselgra / c-mera
Next-level syntax for C-like languages :)
537.MobilityData / gtfs-realtime-bindings
Language bindings generated from the GTFS Realtime protocol buffer spec for popular languages.
539.gogpu / naga
Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.
544.aws / jsii
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
548.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
550.gigobyte / purify
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
- typescript
- algebraic-data-types
- maybe
- monad
- functor
- fantasy-land
- +6 more
551.pytoolz / cytoolz
Cython implementation of Toolz: High performance functional utilities
552.RichieSams / FiberTaskingLib
A library for enabling task-based multi-threading. It allows execution of task graphs with arbitrary dependencies.
- cpp
- multithreading
- fibers
- task-scheduler
- coroutines
554.DennisMitchell / jellylanguage
Jelly is a recreational programming language inspired by J.
555.aquasecurity / libbpfgo
eBPF library for Go. Powered by libbpf.
556.leonoel / missionary
A functional effect and streaming system for Clojure/Script
- clojure
- clojurescript
- reactive-streams
557.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.
558.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
559.code-disaster / steamworks4j
A thin Java wrapper to access the Steamworks API
- java
- bindings
- steamworks
560.pascalabcnet / pascalabcnet
The new generation Pascal programming language for .NET
561.jstachio / jstachio
Java type safe statically compiled mustache
- annotation-processor
- java
- mustache
- template-engine
- type-safe
- dropwizard
- +2 more
562.reugn / async
Synchronization and asynchronous computation package for Go
- go
- async
- future
- promise
- synchronization
- concurrency
- +8 more
563.GuvaCode / ray4laz
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
- lazarus-ide
- lazarus-package
- +11 more
564.vuo / vuo
A realtime visual programming language for interactive media.
565.doors-dev / gox
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.
566.google / pytypeArchived
A static type analyzer for Python code
- python
- typing
- typechecker
- linter
- types
- static-analysis
- +1 more
569.josdejong / workerpool
Offload tasks to a pool of workers on node.js and in the browser
570.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
571.gographics / imagick
Go binding to ImageMagick's MagickWand C API
- imagick
- magickwand
- imagemagick
- go
- imagemagick-magickwand
- golang
574.mattn / anko
Scriptable interpreter written in golang
575.objectbox / objectbox-go
Embedded Go Database, the fast alternative to SQLite, gorm, etc.
577.pyca / pynacl
Python binding to the Networking and Cryptography (NaCl) library
- cryptography
- libsodium
- nacl
- python
578.APIDevTools / json-schema-ref-parser
Parse, Resolve, and Dereference JSON Schema $ref pointers in Node and browsers
- javascript
- nodejs
- json-schema
- json-reference
- json-pointer
- resolver
- +3 more
579.domn1995 / dunet
C# discriminated union source generator
- csharp
- discriminated-unions
- dotnet
- functional-programming
- csharp-sourcegenerator
- fp
- +6 more
580.ruby / typeprof
An experimental type-level Ruby interpreter for testing and understanding Ruby code
581.JeremyCCHsu / Python-Wrapper-for-World-Vocoder
A Python wrapper for the high-quality vocoder "World"
582.Pagghiu / SaneCppLibraries
Platform Abstraction C++ Libraries
- async
- cpp
- linux
- macos
- networking
- no-dependencies
- +4 more
583.mikeakohn / java_grinder
Compile Java byte-code to native CPU's.
- 6502
- assembly
- atari
- c64
- java
- nintendo
- +2 more
584.gabr42 / OmniThreadLibrary
A simple and powerful multithreading library for Delphi
585.dfabulich / choicescript
ChoiceScript is a language for developing multiple-choice games.
586.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
587.vladopajic / go-actor
A lightweight library for writing concurrent programs in Go using the Actor model.
- actor
- go-actor
- concurrency
- concurrent-programming
- go
- golang
- +9 more
588.fiorix / go-diameter
Diameter stack and Base Protocol (RFC 6733) for the Go programming language
589.DeepSpec / InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
590.mdbergmann / cl-gserver
Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.
- common-lisp
- concurrency
- genserver
- actor
- reactive
- event-driven
591.rocq-community / fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
- coq-ci
592.ipea / r5r
The repository host gives no description.
593.BeRo1985 / pasvulkan
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library
- object-pascal
- freepascal
- +3 more
594.LPCIC / coq-elpi
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
- scripting
595.zertovitch / hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
- strongly-typed
- ada-library
- +7 more
596.Smoren / itertools-ts
TypeScript Iteration Tools Library
- fluentinterface
- generator
- infinite-iteration
- iterable
- iterator
- looping
- +14 more
597.RDP1974 / Delphi64RTL
Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL
599.nodegit / nodegit
Native Node bindings to Git.
600.yoav-lavi / melody
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable