Trending repositories

901.witchcrafters / quark

Common combinators for Elixir

• pointfree
• curried-functions
• elixir
• functional-languages
• functional-programming
• combinator
• +2 more

902.Pkcs11Interop / Pkcs11Interop

Managed .NET wrapper for unmanaged PKCS#11 libraries

• pkcs
• pkcs11
• security
• crypto
• cryptography
• smartcard
• +1 more

903.timandy / routine

ThreadLocal for Golang.

• go
• golang
• goid
• goroutine
• localstorage
• threadlocal
• +3 more

904.fslaborg / RProvider

An F# type provider for in-process R interop

• r-language
• r-programming
• type-providers

905.rocq-prover / equations

A function definition package for Rocq

• coq
• programming-language
• dependent-types
• rocq

906.hxdefold / hxdefold

Haxe/Lua externs for Defold game engine

• defold-game-engine
• haxe
• lua
• lua-externs

907.neslib / Chet

C Header Translator for Delphi

• header-translators
• clang-parsing-process
• clang
• delphi
• chet
• c
• +1 more

908.GeoCoq / GeoCoq

A formalization of geometry in Coq based on Tarski's axiom system

• formalization
• coq
• geometry
• tarski-axiom
• hilbert-axioms
• desargues
• +6 more

909.AdaCore / libadalang

Ada semantic analysis library.

910.mmontone / djula

Common Lisp port of the Django templating language

• template-engine
• html-template
• lisp
• common-lisp

911.telekons / one-more-re-nightmare

A fast regular expression compiler in Common Lisp

• common-lisp
• regular-expression-engine
• compiler
• regex
• lisp

912.ying32 / liblcl

A common cross-platform GUI library, the core uses Lazarus LCL.

• go
• govcl
• gui
• liblcl
• lcl
• delphi
• +8 more

913.Neopallium / llvm-lua

Automatically exported from code.google.com/p/llvm-lua

914.szatkus / js2me

J2ME implementation in JavaScript

• j2me

915.ams-hackers / gbforth

👾 A Forth-based Game Boy development kit

• forth
• gameboy
• dmg
• retro
• z80
• game-development

916.Bayer-Group / paquo

PAthological QUpath Obsession - QuPath and Python conversations

• digital-pathology
• qupath
• python

917.ndantam / sycamore

A fast, purely functional data structure library in Common Lisp.

918.naqvis / wasmer-crystal

WebAssembly runtime for Crystal

• crystal
• crystal-lang
• crystal-language
• webassembly
• wasmer
• wasi
• +1 more

919.electronstudio / sdl2gdx

Java wrapper for SDL and LibGDX controller API

920.rocq-community / manifesto

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

• community-driven
• manifesto
• coq

921.enetx / g

Functional programming framework for Go.

922.marianobarrios / dregex

dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.

• scala
• dfa
• regular-expression
• regular-expression-engine
• regex
• java-library

923.wkhere / bcl

Basic Configuration Language

• configuration
• parsing
• virtual-machine
• ci-cd

924.sbsoftware / to_html.cr

The fastest HTML builder engine for Crystal

• builder
• crystal
• html
• speed
• dsl

925.leodido / structcli

Define a Go struct. Get a CLI that an agent can discover, call, sandbox, and debug. Flags, env vars, config files, validation, JSON Schema, MCP, structured errors, and WASM. Built on Cobra.

• cli
• cobra
• flags
• viper
• configuration-files
• environment-variables
• +7 more

926.geoffmyers / multitrack-audio-visualizer

Browser-based multitrack audio visualiser with synchronised playback, configurable presets and video export via ffmpeg.wasm. Shares one core with a headless CLI.

• audio
• canvas
• ffmpeg
• multitrack
• music
• typescript
• +3 more

927.developit / greenlet

🦎 Move an async function into its own thread.

• worker
• webworker
• thread
• web-worker
• workerize

928.ankurp / Dollar

A functional tool-belt for Swift Language similar to Lo-Dash or Underscore.js in Javascript

• swift
• dollar
• xcode
• swift-language
• callback-returns

929.meta / regeneratorArchived

Source transformer enabling ECMAScript 6 generator functions in JavaScript-of-today.

930.sciter-sdk / go-sciter

Golang bindings of Sciter: the Embeddable HTML/CSS/script engine for modern UI development

• gui
• sciter
• tiscript
• htmlayout
• go-binding
• golang-bindings

931.then / promise

Bare bones Promises/A+ implementation

932.fluture-js / Fluture

🦋 Fantasy Land compliant (monadic) alternative to Promises

• fantasy-land
• promise
• future
• monad
• async
• control-flow
• +5 more

933.NVIDIA / libcudacxxArchived

[ARCHIVED] The C++ Standard Library for your entire system. See https://github.com/NVIDIA/cccl

• cuda
• nvidia-hpc-sdk
• libcxx
• gpu
• cpp
• cpp11
• +14 more

934.Imangazaliev / DiDOM

Simple and fast HTML and XML parser

• html-parser
• xml-parser
• html
• parser
• xml
• dom
• +1 more

935.plasma-umass / doppio

Breaks the browser language barrier (includes a plugin-free JVM).

936.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

937.cesanta / v7

Embedded JavaScript engine for C/C++

938.riverrun / comeonin

Password hashing specification for the Elixir programming language

• argon2
• bcrypt
• pbkdf2
• elixir

939.cch123 / elasticsql

convert sql to elasticsearch DSL in golang(go)

• elasticsearch
• sql
• golang
• dsl
• go
• elastic
• +1 more

940.com-lihaoyi / fastparse

Writing Fast Parsers Fast in Scala

941.paulbartrum / jurassic

A .NET library to parse and execute JavaScript code.

• javascript
• compiler
• library

942.uniVocity / univocity-parsers

uniVocity-parsers is a suite of extremely fast and reliable parsers for Java. It provides a consistent interface for handling different file formats, and a solid framework for the development of new parsers.

943.SodiumFRP / sodium

Sodium - Functional Reactive Programming (FRP) Library for multiple languages

944.westonplatter / phashion

Ruby wrapper around pHash, the perceptual hash library for detecting duplicate multimedia files

• phash
• ruby
• image-analysis
• duplicate-multimedia-files

945.emicklei / proto

parser for Google ProtocolBuffers definition

• protobuf
• parser
• proto3
• formatter
• proto2
• golang-package
• +2 more

946.the-little-prover / j-bob

The repository host gives no description.

947.aiokitchen / aiomisc

aiomisc - miscellaneous utils for asyncio

• asyncio
• miscellaneous
• server-client
• service
• async-await
• asynchronous
• +4 more

948.boundary / high-scale-lib

A fork of Cliff Click's High Scale Library. Improved with bug fixes and a real build system.

949.hillu / go-yara

Go bindings for YARA

• yara
• go
• golang
• cgo
• hacktoberfest

950.nreco / lambdaparser

Runtime parser for string expressions (formulas, method calls). Builds dynamic LINQ expression tree and compiles it to lambda delegate.

• evalexpr
• evaluator
• dot-net
• dotnetcore
• lambda-expressions
• lambda-interpreter
• +1 more

951.gen2brain / go-unarr

Go bindings for unarr (decompression library for RAR, TAR, ZIP and 7z archives)

• tar
• rar-format
• 7zip
• golang-library
• 7z-archives
• decompression-library
• +2 more

952.orthecreedence / cl-async

Asynchronous IO library for Common Lisp.

953.statebox / idris-ct

formally verified category theory library

• category-theory
• formal-verification
• formal-proofs

954.snazzy-d / sdc

The Snazzy D Compiler

955.aymerick / douceur

A simple CSS parser and inliner in Go

• go
• css-parser

956.cosmos72 / stmx

High performance Transactional Memory for Common Lisp

957.d3fvxl / di

🛠 A full-featured dependency injection container for go programming language.

• go
• dependency-injection
• di
• ioc
• ioc-container

958.leonoel / cloroutine

Coroutine support for clojure

• clojure
• clojurescript

959.jimpil / duratom

A durable atom type for Clojure

960.filcuc / dotherside

C language library for creating bindings for the Qt QML language

• qml-bindings
• qt-qml-language
• qml
• qt
• bindings

961.hedhyw / rex

Flexible regular expressions constructor for Golang.

• builder-pattern
• constructor
• go
• golang
• regexp
• regexp-builder
• +4 more

962.iter-tools / iter-tools

The iterable toolbox

963.TheAngryByrd / IcedTasks

F# Cold Tasks and Cancellable Tasks

• fsharp
• dotnet
• async-await
• dotnet-core

964.tondrej / chakracore-delphi

Delphi and Free Pascal bindings and classes for Microsoft's ChakraCore library

• chakracore
• microsoft
• javascript-engine
• delphi
• freepascal
• lazarus
• +2 more

965.zeromq / lzmq

Lua binding to ZeroMQ

• lua-bindings
• zeromq
• ffi
• messaging
• lua
• zmq

966.mmzeeman / esqlite

Erlang NIF for sqlite

967.crystal-lang / crystal_lib

Automatic binding generator for native libraries in Crystal

968.ada-game-framework / sdlada

Ada 2022 bindings to SDL 2

• sdl
• sdl-ttf
• ada
• ada2012
• bindings
• gamedev
• +9 more

969.hazzard993 / love-typescript-definitions

Write LÖVE 2D projects with TypeScript

• love2d
• typescript
• typescript-declaration
• lua
• typescript-definitions
• typescripttolua

970.verse-lab / ceramist

Verified hash-based AMQ structures in Coq

• bloom-filter
• probability
• coq-formalization
• coq
• counting-bloom-filter
• quotient-filter
• +1 more

971.graue / esofiles

The Esoteric File Archive

• esolang
• esoteric-programming-language

972.tarpit-collective / caneArchived

A small MIDI sequencer DSL designed around vectors and euclidean rhythms

• cpp
• dsl
• euclidean-rhythms
• midi
• minimalist
• music
• +14 more

973.flyx / OpenGLAda

Thick Ada binding for OpenGL and GLFW

• glfw
• ada
• opengl-bindings
• ada-binding

974.Coldzer0 / QuickJS-Pascal

Quickjs FreePascal / Delphi Bindings

• quickjs
• fpc
• freepascal
• javascript
• engine
• pascal
• +3 more

975.orsinium-labs / infer-types

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

• code-formatter
• code-generation
• mypy
• pyannotate
• python
• python3
• +7 more

976.orsinium-labs / mypy-baseline

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

• baseline
• cli
• legacy-code
• mypy
• python
• python3
• +3 more

977.formalsec / smtml

An SMT solver frontend for OCaml

• ocaml
• smt-lib
• symbolic-execution
• z3
• colibri2
• alt-ergo
• +4 more

978.rocq-community / hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs
• primitive-recursive-functions
• discrete-mathematics
• +2 more

979.artyom-poptsov / guile-ssh

Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.

• scheme
• c
• lisp
• guile
• ssh
• libssh
• +1 more

980.i-net-software / jlessc

Less CSS compiler written in Java

981.alire-project / GNAT-FSF-builds

Builds of the GNAT Ada compiler from FSF GCC releases

982.impermeable / rocq-waterproof

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

983.randombit / botan-rs

:shrimp: Rust cryptography library

• rust
• cryptography

984.VeriNum / vcfloat

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

985.math-comp / mczify

Micromega tactics for Mathematical Components

• coq
• ssreflect
• mathcomp
• proof-automation
• rocq
• rocq-prover

986.floooh / sokol-d

D bindings for the sokol headers (https://github.com/floooh/sokol)

• bindings
• d
• dlang
• sokol
• cross-platform
• emscripten
• +1 more

987.damien-pous / coinduction

coinduction library for Coq

988.dtao / lazy.js

Like Underscore, but lazier

989.cocur / slugify

Converts a string to a slug. Includes integrations for Symfony, Silex, Laravel, Zend Framework 2, Twig, Nette and Latte.

• php
• twig
• slugify
• symfony
• twig-extension
• latte
• +4 more

990.com-lihaoyi / Ammonite

Scala Scripting

991.giorgisio / goav

Golang bindings for FFmpeg (This repository is no longer maintained)

• ffmpeg-libraries
• golang-bindings
• video

992.paldepind / flyd

The minimalistic but powerful, modular, functional reactive programming library in JavaScript.

993.AOL-archive / cyclops

An advanced, but easy to use, platform for writing functional applications in Java 8.

• functional-programming
• reactive-streams
• monoid
• streams
• collections
• data-structures
• +7 more

994.RubyCrypto / rbnacl

Ruby FFI binding to the Networking and Cryptography (NaCl) library (a.k.a. libsodium)

• cryptography
• nacl
• libsodium
• ruby
• x25519
• ed25519
• +2 more

995.tekknolagi / carpArchived

"interesting" VM in C. Let's see how this goes.

996.deuill / go-php

PHP bindings for the Go programming language (Golang)

• php
• go
• language-bindings

997.joboccara / pipes

Pipelines for expressive code on collections in C++

998.belozierov / SwiftCoroutineArchived

Swift coroutines for iOS, macOS and Linux.

• swift
• coroutines
• coroutine
• await
• async
• combine
• +14 more

999.advantageous / qbit

The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.

• qbit
• java
• microservice
• websocket-support
• websocket
• actor
• +3 more

1000.bow-swift / bow

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

• functional-programming
• category-theory
• functor
• monad
• swift-library
• free-monad
• +13 more