601.pointlander / peg
Peg, Parsing Expression Grammar, is an implementation of a Packrat parser generator.
+2 stars
from 1,118 · score 1.10
Trending repositories
Ranked by Attention Score: stars gained over the last 30 complete days
601–700 of 933 by Attention Score · Oct 6, 2026 – Nov 4, 2026 (UTC)
602.benjamin-hodgson / Pidgin
A lightweight and fast parsing library for C#.
- parsing
- dotnet
- dotnet-core
- csharp
- parser-combinators
- parse
- +1 more
+2 stars
from 1,107 · score 1.10
603.clj-commons / manifold
A compatibility layer for event-driven abstractions
- stream-processing
- future
- clojure
- async
- stream
+2 stars
from 1,054 · score 1.10
+2 stars
from 1,019 · score 1.10
605.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
+2 stars
from 987 · score 1.10
606.RubyCrypto / rbnacl
Ruby FFI binding to the Networking and Cryptography (NaCl) library (a.k.a. libsodium)
- cryptography
- nacl
- libsodium
- ruby
- x25519
- ed25519
- +2 more
+2 stars
from 984 · score 1.10
+2 stars
from 930 · score 1.10
608.libvips / ruby-vips
Ruby extension for the libvips image processing library.
- libvips
- ruby
- image-processing
+2 stars
from 904 · score 1.10
+2 stars
from 840 · score 1.10
+2 stars
from 839 · score 1.10
+2 stars
from 826 · score 1.10
+2 stars
from 700 · score 1.10
+2 stars
from 640 · score 1.10
614.Pagghiu / SaneCppLibraries
Platform Abstraction C++ Libraries
- async
- cpp
- linux
- macos
- networking
- no-dependencies
- +4 more
+2 stars
from 627 · score 1.10
615.SAP / SapMachine
An OpenJDK release maintained and supported by SAP
- openjdk
- java
- open-source
- jdk
- javase
- jvm
- +1 more
+2 stars
from 625 · score 1.10
616.emicklei / proto
parser for Google ProtocolBuffers definition
+2 stars
from 613 · score 1.10
617.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
+2 stars
from 609 · score 1.10
618.luaposix / luaposix
Lua bindings for POSIX APIs
- posix
- luaposix
- posix-apis
- lua
- luajit
- lua-binding
- +1 more
+2 stars
from 595 · score 1.10
+2 stars
from 588 · score 1.10
620.Gwion / Gwion
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
- sound
- real-time
- +9 more
+2 stars
from 580 · score 1.10
621.jscoq / jscoq
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
+2 stars
from 548 · score 1.10
+2 stars
from 537 · score 1.10
+2 stars
from 536 · score 1.10
624.libconfuse / libconfuse
Small configuration file parser library for C.
- config
- configuration-files
- c
- conf
- config-file
- config-parser
- +6 more
+2 stars
from 522 · score 1.10
625.dfabulich / choicescript
ChoiceScript is a language for developing multiple-choice games.
+2 stars
from 460 · score 1.10
626.RubyMoney / monetize
A library for converting various objects into `Money` objects.
+2 stars
from 449 · score 1.10
627.earthboundkid / flowmatic
Structured concurrency made easy
- concurrency
- golang
- goroutine
- structured-concurrency
- task-runner
+2 stars
from 402 · score 1.10
628.ruby-gnome / ruby-gnome
A set of bindings for the GNOME libraries to use from Ruby.
+2 stars
from 402 · score 1.10
629.recursion-schemes / recursion-schemes
Generalized bananas, lenses and barbed wire
+2 stars
from 360 · score 1.10
+2 stars
from 354 · score 1.10
631.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
+2 stars
from 311 · score 1.10
+2 stars
from 297 · score 1.10
+2 stars
from 272 · score 1.10
+2 stars
from 260 · score 1.10
635.DeepSpec / InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
+2 stars
from 259 · score 1.10
636.nikodemus / screamer
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
+2 stars
from 255 · score 1.10
637.typedb / typeql
TypeQL: Built for systems, not records
+2 stars
from 255 · score 1.10
638.rocq-community / fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
- coq-ci
+2 stars
from 251 · score 1.10
639.math-comp / analysis
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
- ssreflect
+2 stars
from 245 · score 1.10
640.ipea / r5r
The repository host gives no description.
+2 stars
from 242 · score 1.10
641.sindresorhus / p-debounce
Debounce promise-returning & async functions
+2 stars
from 238 · score 1.10
642.curiosity-ai / rocksdb-sharp
.net bindings for the rocksdb by facebook
+2 stars
from 216 · score 1.10
643.google / wasefire
Secure firmware framework focusing on developer experience
+2 stars
from 191 · score 1.10
+2 stars
from 183 · score 1.10
645.mariomac / gostream
A Go port of the Java Streams API. Type-safe and functional Go Streams processing
- golang
- go
- stream-processing
- generics
- type-parameters
+2 stars
from 172 · score 1.10
646.Neopallium / llvm-lua
Automatically exported from code.google.com/p/llvm-lua
+2 stars
from 162 · score 1.10
647.mathiasbourgoin / Sarek
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
- gpgpu
+2 stars
from 148 · score 1.10
648.jimmyorourke / plotlypp
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
- charts
- cpp
- graphs
- plotly
- plotting
- visualization
- +4 more
+2 stars
from 146 · score 1.10
+2 stars
from 134 · score 1.10
650.AdaCore / RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
- parser
- binary-parser
- ada
- spark
- formal-verification
- formal-specification
- +5 more
+2 stars
from 129 · score 1.10
+2 stars
from 126 · score 1.10
652.jorenham / optype
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
- static-typing
- type-inference
+2 stars
from 96 · score 1.10
653.outr / reactify
The first and only true Functional Reactive Programming framework for Scala.
- scala
- reactive
- frp
- frp-library
- rx
+2 stars
from 93 · score 1.10
654.dylanbeattie / rockstar
The Rockstar programming language specification
+2 stars
from 89 · score 1.10
+2 stars
from 87 · score 1.10
656.godunko / adawebpack
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
- ada
+2 stars
from 84 · score 1.10
+2 stars
from 79 · score 1.10
658.doors-dev / gox
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.
+2 stars
from 64 · score 1.10
659.resttime / cl-liballegro
Common Lisp bindings and interface to the Allegro 5 game programming library
- common-lisp
- game-development
- allegro5
- bindings
- lisp
- gamedev
- +2 more
+2 stars
from 61 · score 1.10
+2 stars
from 44 · score 1.10
661.thery / coqprime
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
- pocklington-certificate
+2 stars
from 43 · score 1.10
662.VeriNum / vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
+2 stars
from 33 · score 1.10
663.beaver-lodge / beaver
MLIR Toolkit in Elixir and Zig.
+2 stars
from 6 · score 1.10
664.unifyai / ivy
Convert Machine Learning Code Between Frameworks
+1 stars
from 14,166 · score 0.69
665.doctrine / lexer
Base library for a lexer that can be used in Top-Down, Recursive Descent Parsers.
+1 stars
from 11,140 · score 0.69
666.jerryscript-project / jerryscript
Ultra-lightweight JavaScript engine for the Internet of Things.
- javascript-engine
- javascript
- jerryscript
- internet-of-things
- iot
- runtime
+1 stars
from 7,415 · score 0.69
667.tjanczuk / edge
Run .NET and Node.js code in-process on Windows, MacOS, and Linux
+1 stars
from 5,430 · score 0.69
668.sql-machine-learning / sqlflow
Brings SQL and AI together.
- sqlflow
- sql-syntax
- ai
- transpiler
- deep-learning
- databases
- +1 more
+1 stars
from 5,186 · score 0.69
+1 stars
from 4,903 · score 0.69
670.yoav-lavi / melody
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
+1 stars
from 4,737 · score 0.69
671.kach / nearley
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
+1 stars
from 3,738 · score 0.69
+1 stars
from 3,505 · score 0.69
+1 stars
from 3,483 · score 0.69
674.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
+1 stars
from 3,379 · score 0.69
+1 stars
from 3,316 · score 0.69
676.Yomguithereal / baobab
JavaScript & TypeScript persistent and optionally immutable data tree with cursors.
+1 stars
from 3,154 · score 0.69
677.rubinius / rubinius
The Rubinius Language Platform
+1 stars
from 3,094 · score 0.69
678.dotnet-script / dotnet-script
Run C# scripts from the .NET CLI.
- csx
- roslyn
- csharp-script
- csi
- dotnet-script
+1 stars
from 3,011 · score 0.69
679.vkhorikov / CSharpFunctionalExtensions
Functional extensions for C#
- csharp
- entity
- functional-programming
- maybe-monad
- result
- value-object
+1 stars
from 2,831 · score 0.69
680.IronLanguages / ironpython3
Implementation of Python 3.x for .NET Framework that is built on top of the Dynamic Language Runtime.
- ironpython
- dlr
- c-sharp
- python
+1 stars
from 2,761 · score 0.69
+1 stars
from 2,719 · score 0.69
+1 stars
from 2,630 · score 0.69
+1 stars
from 2,615 · score 0.69
+1 stars
from 2,480 · score 0.69
+1 stars
from 2,212 · score 0.69
686.supermarin / ObjectiveSugarArchived
ObjectiveC additions for humans. Ruby style.
+1 stars
from 2,155 · score 0.69
687.jOOQ / jOOL
jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple support, function support, and a lot of additional functionality around sequential Streams. The JDK 8's main efforts (default methods, lambdas, and the Stream API) were focused around maintaining backwards compatibility and implementing a functional API for parallelism.
+1 stars
from 2,119 · score 0.69
688.ekmett / lens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
+1 stars
from 2,108 · score 0.69
689.feedjira / feedjira
A feed parsing library
+1 stars
from 2,100 · score 0.69
690.strawlab / python-pclArchived
Python bindings to the pointcloud library (pcl)
+1 stars
from 2,054 · score 0.69
691.bcrypt-ruby / bcrypt-ruby
bcrypt-ruby is a Ruby binding for the OpenBSD bcrypt() password hashing algorithm, allowing you to easily store a secure hash of your users' passwords.
+1 stars
from 1,993 · score 0.69
692.malcommac / Hydra
⚡️ Lightweight full-featured Promises, Async & Await Library in Swift
- promises
- promise-library
- await
- swift
- async
- gcd
- +1 more
+1 stars
from 1,979 · score 0.69
693.Zewo / Zewo
Lightweight library for web server applications in Swift on macOS and Linux powered by coroutines.
- swift
- coroutines
- synchronous-apis
- server-side-swift
- zewo
- swiftenv
- +9 more
+1 stars
from 1,840 · score 0.69
+1 stars
from 1,792 · score 0.69
695.jphp-group / jphp
JPHP - an implementation of PHP on Java VM
+1 stars
from 1,711 · score 0.69
+1 stars
from 1,597 · score 0.69
697.mattn / anko
Scriptable interpreter written in golang
+1 stars
from 1,585 · score 0.69
+1 stars
from 1,565 · score 0.69
699.paldepind / flyd
The minimalistic but powerful, modular, functional reactive programming library in JavaScript.
+1 stars
from 1,565 · score 0.69
+1 stars
from 1,519 · score 0.69