901.hikettei / Caten
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
+2 stars
from 244 · score 1.10
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
901–1000 of 1,207 by Attention Score · Aug 7, 2026 – Nov 4, 2026 (UTC)
+2 stars
from 241 · score 1.10
903.weavejester / reagi
An FRP library for Clojure and ClojureScript
+2 stars
from 232 · score 1.10
904.cbaggers / varjo
Lisp to GLSL Language Translator
+2 stars
from 229 · score 1.10
905.functionaljs / functional-js
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
- data-last
- esm
- +14 more
+2 stars
from 223 · score 1.10
906.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
+2 stars
from 218 · score 1.10
907.emicklei / melrose
interactive programming of melodies, producing MIDI
+2 stars
from 212 · score 1.10
+2 stars
from 204 · score 1.10
909.KotlinIsland / basedmypy
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
+2 stars
from 200 · score 1.10
910.KamilLelonek / yaml-elixir
Yaml parser for Elixir based on native Erlang implementation
+2 stars
from 180 · score 1.10
911.alexst07 / shell-plus-plus
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
- language
- shell-script
- +4 more
+2 stars
from 174 · score 1.10
912.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
+2 stars
from 162 · score 1.10
+2 stars
from 161 · score 1.10
915.stevenvar / OMicroB
An OCaml generic virtual machine for microcontrollers
+2 stars
from 154 · score 1.10
916.go2hx / go2hx
Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler
- haxe
- golang
- go
- compiler
- transpiler
- traspile
- +3 more
+2 stars
from 153 · score 1.10
917.vshymanskyy / wasm2mpy
Compile WebAssembly to native MicroPython modules
- armv7
- esp32
- micropython
- raspberry-pi
- wasm
- webassembly
- +4 more
+2 stars
from 153 · score 1.10
918.tondrej / chakracore-delphi
Delphi and Free Pascal bindings and classes for Microsoft's ChakraCore library
- chakracore
- microsoft
- javascript-engine
- delphi
- freepascal
- lazarus
- +2 more
+2 stars
from 146 · score 1.10
+2 stars
from 145 · score 1.10
+2 stars
from 142 · score 1.10
921.Bayer-Group / paquo
PAthological QUpath Obsession - QuPath and Python conversations
- digital-pathology
- qupath
- python
+2 stars
from 136 · score 1.10
+2 stars
from 135 · score 1.10
+2 stars
from 133 · score 1.10
924.truj / midica
A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.
+2 stars
from 133 · score 1.10
925.s-expressionists / Eclector
A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees
- common-lisp
- reader
- extensible
- error-recovery
- portable
- concrete-syntax-trees
+2 stars
from 129 · score 1.10
926.webui-dev / v-webui
Use any web browser as GUI, with V in the backend and modern web technologies in the frontend.
- browser
- javascript
- webui
- vwebui
- ui
- cross-platform
- +8 more
+2 stars
from 128 · score 1.10
927.quil-lang / sbcl-librarian
Dynamic library delivery tools for SBCL.
+2 stars
from 127 · score 1.10
928.verse-lab / ceramist
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
- counting-bloom-filter
- quotient-filter
- +1 more
+2 stars
from 125 · score 1.10
929.BeRo1985 / pasmp
PasMP - a parallel-processing/multi-processing library for Object Pascal
+2 stars
from 123 · score 1.10
930.ahausladen / AsyncCalls
AsyncCalls – Asynchronous function call framework
+2 stars
from 121 · score 1.10
931.rocq-community / corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
- coq-platform
+2 stars
from 115 · score 1.10
932.tarpit-collective / caneArchived
A small MIDI sequencer DSL designed around vectors and euclidean rhythms
+2 stars
from 109 · score 1.10
+2 stars
from 105 · score 1.10
934.Coldzer0 / QuickJS-Pascal
Quickjs FreePascal / Delphi Bindings
- quickjs
- fpc
- freepascal
- javascript
- engine
- pascal
- +3 more
+2 stars
from 102 · score 1.10
935.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
+2 stars
from 101 · score 1.10
936.unoplatform / uno.extensions
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
- uno
- uno-platform
- webassembly
- wasm
- uwp
- mono
- +4 more
+2 stars
from 99 · score 1.10
+2 stars
from 97 · score 1.10
938.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
939.SSProve / ssprove
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
- formal-verification
- modular-cryptographic-proofs
+2 stars
from 89 · score 1.10
+2 stars
from 88 · score 1.10
941.electronstudio / sdl2gdx
Java wrapper for SDL and LibGDX controller API
+2 stars
from 87 · score 1.10
942.stephannv / blueprint
Write HTML in plain Crystal
+2 stars
from 83 · score 1.10
943.bohonghuang / claw-raylib
Fully auto-generated Common Lisp bindings to Raylib (6.0/5.5) and Raygui (4.0) using claw and cffi-object
+2 stars
from 82 · score 1.10
944.affeldt-aist / monae
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
- mathcomp
- ssreflect
- +2 more
+2 stars
from 76 · score 1.10
+2 stars
from 71 · score 1.10
+2 stars
from 68 · score 1.10
947.codyroux / name-the-biggest-number
The repository host gives no description.
+2 stars
from 67 · score 1.10
948.vectaport / flowgraph
Flowgraph package for scalable asynchronous system development
- dataflow
- scalable
- distributed
+2 stars
from 66 · score 1.10
949.VSoftTechnologies / VSoft.Messaging
Simple internal application messaging for Delphi
- dpmpackage
- delphi
- vsoft
- vcl
- fmx
+2 stars
from 62 · score 1.10
950.Goldziher / go-utils
Simple and performant utilies using Go generics inspired by JavaScript and Python
- golang
- go
- utilities
- generics
+2 stars
from 61 · score 1.10
951.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 59 · score 1.10
+2 stars
from 56 · score 1.10
954.adampetcher / fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
+2 stars
from 56 · score 1.10
955.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.
+2 stars
from 51 · score 1.10
+2 stars
from 46 · score 1.10
957.tejzpr / ordered-concurrently
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
- data-pipeline
- parallel-computing
- +3 more
+2 stars
from 46 · score 1.10
958.rocq-community / graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
- mathcomp-ci
+2 stars
from 44 · score 1.10
+2 stars
from 43 · score 1.10
960.elliotwutingfeng / go-fasttld
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
- mozilla
- osint
- +13 more
+2 stars
from 39 · score 1.10
961.ekrich / sblas
Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS
- scala
- scala-native
- math
- linear-algebra
- blas
- linux
- +1 more
+2 stars
from 37 · score 1.10
962.math-comp / mczify
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
- rocq
- rocq-prover
+2 stars
from 29 · score 1.10
+2 stars
from 26 · score 1.10
964.sbsoftware / to_html.cr
The fastest HTML builder engine for Crystal
+2 stars
from 20 · score 1.10
965.CertiGraph / CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
+2 stars
from 19 · score 1.10
966.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
+2 stars
from 12 · score 1.10
+1 stars
from 14,983 · score 0.69
+1 stars
from 7,317 · score 0.69
969.tjanczuk / edge
Run .NET and Node.js code in-process on Windows, MacOS, and Linux
+1 stars
from 5,430 · score 0.69
+1 stars
from 4,982 · score 0.69
+1 stars
from 4,377 · score 0.69
972.meta / regeneratorArchived
Source transformer enabling ECMAScript 6 generator functions in JavaScript-of-today.
+1 stars
from 3,819 · score 0.69
+1 stars
from 3,045 · score 0.69
974.fluture-js / Fluture
🦋 Fantasy Land compliant (monadic) alternative to Promises
- fantasy-land
- promise
- future
- monad
- async
- control-flow
- +5 more
+1 stars
from 2,489 · score 0.69
975.supermarin / ObjectiveSugarArchived
ObjectiveC additions for humans. Ruby style.
+1 stars
from 2,155 · score 0.69
976.giorgisio / goav
Golang bindings for FFmpeg (This repository is no longer maintained)
- ffmpeg-libraries
- golang-bindings
- video
+1 stars
from 2,134 · score 0.69
+1 stars
from 1,981 · score 0.69
978.kefirjs / kefir
A Reactive Programming library for JavaScript
- frp
- reactive
- stream
- functional-programming
- observable
- javascript
- +1 more
+1 stars
from 1,885 · score 0.69
979.facebookresearch / TensorComprehensionsArchived
A domain specific language to express machine learning workloads.
- machine-learning
- domain-specific-language
+1 stars
from 1,767 · score 0.69
+1 stars
from 1,728 · score 0.69
+1 stars
from 1,451 · score 0.69
982.CopernicaMarketingSoftware / PHP-CPP
Library to build PHP extensions with C++
+1 stars
from 1,449 · score 0.69
983.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
+1 stars
from 1,323 · score 0.69
+1 stars
from 1,236 · score 0.69
985.kylestetz / slang
🎤 a simple audio programming language implemented in JS
- livecoding
- programming-language
- audio
- javascript
+1 stars
from 1,200 · score 0.69
986.CosmWasm / cosmwasm
WebAssembly Smart Contracts for the Cosmos SDK
- cosmos-sdk
- rust
- smart-contracts
- webassembly
+1 stars
from 1,141 · score 0.69
987.smartprocure / futil-js
F(unctional) util(ities). Resistance is futile.
+1 stars
from 1,041 · score 0.69
+1 stars
from 1,037 · score 0.69
989.tekknolagi / carpArchived
"interesting" VM in C. Let's see how this goes.
+1 stars
from 983 · score 0.69
+1 stars
from 971 · score 0.69
991.funcool / cats
Category Theory and Algebraic abstractions for Clojure and ClojureScript.
+1 stars
from 969 · score 0.69
+1 stars
from 918 · score 0.69
993.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
+1 stars
from 873 · score 0.69
+1 stars
from 851 · score 0.69
995.belozierov / SwiftCoroutineArchived
Swift coroutines for iOS, macOS and Linux.
- swift
- coroutines
- coroutine
- await
- async
- combine
- +14 more
+1 stars
from 831 · score 0.69
996.podigee / device_detector
DeviceDetector is a precise and fast user agent parser and device detector written in Ruby
+1 stars
from 765 · score 0.69
997.jackmott / LinqFaster
Linq-like extension functions for Arrays, Span<T>, and List<T> that are faster and allocate less.
- simd
- linq
- perfromance
- gamedev-library
- allocation
- csharp-library
+1 stars
from 761 · score 0.69
998.ehmicky / wild-wild-path
🤠 Object property paths with wildcards and regexps 🌵
+1 stars
from 726 · score 0.69
999.lilactown / helix
A simple, easy to use library for React development in ClojureScript.
- clojurescript
- hooks
- react
- interop
- cljs
+1 stars
from 674 · score 0.69
+1 stars
from 668 · score 0.69