1001.artagnon / rhine-mlArchived
🏞 an OCaml compiler for an untyped lisp
+2 stars
from 631 · score 1.10
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
1001–1100 of 1,171 by Attention Score · May 9, 2026 – Nov 4, 2026 (UTC)
+2 stars
from 630 · score 1.10
1003.derive4j / derive4j
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
- visitor-pattern
- annotation-processor
- +11 more
+2 stars
from 575 · score 1.10
+2 stars
from 530 · score 1.10
1005.OrleansContrib / Orleankka
Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka
- actors
- cqrs
- event-sourcing
- fsm
- orleans
- functional
+2 stars
from 504 · score 1.10
+2 stars
from 485 · score 1.10
1007.GameTechDev / GTS-GamesTaskSchedulerArchived
A task scheduling framework designed for the needs of game developers.
+2 stars
from 459 · score 1.10
1008.Athari / YaLinqo
Yet Another LINQ to Objects for PHP [Simplified BSD]
- linq
- php
- functional-programming
- query
- statistics
- functional
- +8 more
+2 stars
from 448 · score 1.10
+2 stars
from 447 · score 1.10
1010.purescript-contrib / purescript-react
React Bindings for PureScript
+2 stars
from 408 · score 1.10
1011.VerbalExpressions / CppVerbalExpressions
C++ regular expressions made easy
+2 stars
from 388 · score 1.10
1012.chrisvest / stormpot
A fast object pool for the JVM
- java
- concurrency
- pool
- tdd
- performance
- high-performance
- +1 more
+2 stars
from 388 · score 1.10
1013.TeaEntityLab / fpGo
Monad, Functional Programming features for Golang
- golang
- functional-programming
- functional-reactive-programming
- reactive
- reactive-programming
- golang-library
- +14 more
+2 stars
from 353 · score 1.10
1014.ryanmelt / qtbindingsArchived
An easy to install gem version of the Ruby bindings to Qt
+2 stars
from 334 · score 1.10
+2 stars
from 315 · score 1.10
1016.laurentpayot / verticalize
A pipe-like function to verticalize your JavaScript code
+2 stars
from 301 · score 1.10
1017.koss-null / FuncFrog
Stream api (kind of) implementation for go, other useful functions and packages to use go in a functional way
- filter-map-reduce
- go-library
- stream-api
- filter
- map
- parallel-sorting
- +2 more
+2 stars
from 284 · score 1.10
1018.vardius / message-bus
Go simple async message bus
- message-bus
- event-sourcing
- ddd
- async
- message-queue
- message-broker
- +4 more
+2 stars
from 282 · score 1.10
1019.jmapper-framework / jmapper-core
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
- mapper
- mapping
- +2 more
+2 stars
from 245 · score 1.10
+2 stars
from 241 · score 1.10
1021.rpav / cl-autowrap
(c-include "file.h") => complete FFI wrapper
+2 stars
from 236 · score 1.10
1022.cbaggers / varjo
Lisp to GLSL Language Translator
+2 stars
from 229 · score 1.10
1023.neo4j / cypher-dsl
A Java DSL (Builder) for the Cypher Query Language
+2 stars
from 225 · score 1.10
1024.abstractj / kaliumArchived
Java binding to the Networking and Cryptography (NaCl) library with the awesomeness of libsodium
- libsodium
- java
- nacl
- java-bindings
- cryptography
+2 stars
from 218 · score 1.10
1025.woboq / moc-ng
A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.
+2 stars
from 210 · score 1.10
1026.jscert / jscert
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
+2 stars
from 206 · score 1.10
1027.fusesource / hawtjni
A JNI code generator based on the JNI generator used by the eclipse SWT project
+2 stars
from 173 · score 1.10
1028.dafrito / luacxx
Lua binding library for modern C++
- lua
- bindings
- c-plus-plus
- c-plus-plus-library
- modern-cpp-template
+2 stars
from 163 · score 1.10
+2 stars
from 162 · score 1.10
+2 stars
from 161 · score 1.10
+2 stars
from 160 · score 1.10
1032.crystal-lang / crystal-sqlite3
SQLite3 bindings for Crystal
+2 stars
from 159 · score 1.10
1033.gregorias / coop.nvim
A Neovim plugin for readable concurrency with coroutines.
- coroutines
- neovim-plugin
+2 stars
from 143 · score 1.10
1034.hipeta / arrow-macros
Arrow-macros provides Clojure-like arrow macros in Common Lisp
+2 stars
from 140 · score 1.10
+2 stars
from 138 · score 1.10
1036.STREGAsGate / Raylib
A Swift package for Raylib. Builds Raylib from source so no need to fiddle with libraries. Just add as a dependency in you game package and go!
- gamedev
- raylib
- raylib-swift
- swift
+2 stars
from 134 · score 1.10
1037.viney-shih / go-lock
go-lock is a lock library implementing read-write mutex and read-write trylock without starvation
- golang
- go
- trylock
- mutex
- readwritelock
- read-write-lock
- +2 more
+2 stars
from 125 · score 1.10
1038.ahausladen / AsyncCalls
AsyncCalls – Asynchronous function call framework
+2 stars
from 121 · score 1.10
1039.janekb04 / glfwpp
GLFW C++ Wrapper - thin, modern, C++17, header-only GLFW wrapper
- glfw
- cpp
- cpp17
- wrapper
- header-only
- cmake
- +1 more
+2 stars
from 120 · score 1.10
1040.FelixTheC / strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
- decorator
- docstring-checker
- +3 more
+2 stars
from 119 · score 1.10
1041.rjNemo / underscore
🌟 Useful functional programming helpers for Go
- golang
- go
- functional-programming
- library
- functional
- utilities
+2 stars
from 116 · score 1.10
1042.dbmcclain / Lisp-Actors
Thread-agnostic Actors in Common Lisp
+2 stars
from 112 · score 1.10
+2 stars
from 102 · score 1.10
+2 stars
from 94 · score 1.10
1045.sindresorhus / p-settle
Settle promises concurrently and get their fulfillment value or rejection reason with optional limited concurrency
+2 stars
from 94 · score 1.10
1046.asmotor / asmotor
Powerful macro (cross) assembler package for several CPUs
+2 stars
from 89 · score 1.10
1047.general-CbIC / poolex
A library for managing pools of workers
- elixir-library
- worker-pool
- elixir
- poolboy
- hacktoberfest
- poolex
+2 stars
from 86 · score 1.10
1048.imdea-software / htt
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
- linked-list
- type-system
+2 stars
from 86 · score 1.10
1049.stcarrez / ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
- json
- beans
- +1 more
+2 stars
from 82 · score 1.10
+2 stars
from 81 · score 1.10
1051.leifg / formulon
Salesforce Formula Parser implemented in ES2017. Live demo at
+2 stars
from 77 · score 1.10
1052.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 68 · score 1.10
1054.OneWingedShark / Byron
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
+2 stars
from 65 · score 1.10
1055.VSoftTechnologies / VSoft.Messaging
Simple internal application messaging for Delphi
- dpmpackage
- delphi
- vsoft
- vcl
- fmx
+2 stars
from 62 · score 1.10
1056.digikar99 / polymorphic-functions
A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.
- lisp
- common-lisp
- generics
- polymorphic-functions
- polymorphism
+2 stars
from 55 · score 1.10
+2 stars
from 55 · score 1.10
+2 stars
from 54 · score 1.10
1059.turborium / TurboRaylib
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
- delphi
- easy-to-use
- freepascal
- game
- game-dev
- game-development
- +11 more
+2 stars
from 49 · score 1.10
1060.byulparan / cl-nextstep
Cocoa binding for Common Lisp on macOS
+2 stars
from 46 · score 1.10
1061.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
1062.ECP-Solutions / ASF
The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.
- interpreter
- language
- programming
- vba
- javascript
- modern-vba
- +4 more
+2 stars
from 39 · score 1.10
1063.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
1064.Snowflyt / tinyeffect
A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.
- algebraic-effects
- side-effect
- side-effects
- typesafe
- typesafety
+2 stars
from 36 · score 1.10
+2 stars
from 32 · score 1.10
1066.php-collective / djot-php
A PHP parser for Djot, a modern light markup language
+2 stars
from 23 · score 1.10
1067.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
1068.sfkamath / jvm-hotpath
JVM runtime execution analysis - finds hot code paths by frequency, not CPU time
- asm
- bytecode
- code-coverage
- java
- java-agent
- jvm
- +3 more
+2 stars
from 9 · score 1.10
1069.chmenegatti / go-date-fns
Go date utilities inspired by date-fns. Timezone-aware, WebAssembly-compatible, with comprehensive test coverage.
+2 stars
from 4 · score 1.10
+2 stars
from 3 · score 1.10
1071.twitter / hogan.js
A compiler for the Mustache templating language
+1 stars
from 5,117 · score 0.69
+1 stars
from 4,369 · score 0.69
1073.sass / libsassArchived
A C/C++ implementation of a Sass compiler
+1 stars
from 4,317 · score 0.69
1074.caolan / highland
High-level streams library for Node.js and the browser
+1 stars
from 3,421 · score 0.69
1075.dotnet / pinvokeArchived
A library containing all P/Invoke code so you don't have to import it every time. Maintained and updated to support the latest Windows OS.
- pinvoke
- dotnet
- interop
+1 stars
from 2,172 · score 0.69
1076.fsharp / fsharpArchived
Please file issues or pull requests here: https://github.com/dotnet/fsharp
+1 stars
from 2,155 · score 0.69
1077.evilsoft / crocks
A collection of well known Algebraic Data Types for your utter enjoyment.
- adt
- predicate-functions
- lift
- unary-functions
- functor
- composition
- +4 more
+1 stars
from 1,593 · score 0.69
1078.FlineDev / BartyCrouch
Localization/I18n: Incrementally update/translate your Strings files from .swift, .h, .m(m), .storyboard or .xib files.
- localization
- xib
- storyboard
- swift
- code
- machine-translation
- +4 more
+1 stars
from 1,400 · score 0.69
1079.venantius / ultra
A Leiningen plugin for a superior development environment
+1 stars
from 1,232 · score 0.69
+1 stars
from 918 · score 0.69
+1 stars
from 880 · score 0.69
+1 stars
from 730 · score 0.69
1083.char0n / ramda-adjunct
Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.
- ramda
- addons
- adjunct
- cookbook
- extensions
- functional-programming
- +6 more
+1 stars
from 686 · score 0.69
1084.billyquith / ponderArchived
C++ reflection library with Lua binding, and JSON and XML serialisation.
- c-plus-plus
- reflection
- library
- introspection
- cpp
- cpp-library
- +5 more
+1 stars
from 662 · score 0.69
1085.khanlou / Promise
A Promise library for Swift, based partially on Javascript's A+ spec
+1 stars
from 614 · score 0.69
1086.golobby / container
A lightweight yet powerful IoC dependency injection container for the Go programming language
- ioc
- ioc-container
- container
- dependency-injection
- go
- golang
- +4 more
+1 stars
from 608 · score 0.69
+1 stars
from 534 · score 0.69
+1 stars
from 506 · score 0.69
1089.killme2008 / defun
A macro to define clojure functions with parameter pattern matching just like erlang or elixir.
- clojure
- defun
- pattern-matching
- clojure-functions
+1 stars
from 501 · score 0.69
+1 stars
from 489 · score 0.69
1091.uncomplicate / fluokitten
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
- clojure
- category-theory
- clojure-library
- monad
- monoid
- functor
+1 stars
from 475 · score 0.69
1092.jmckaskill / luaffiArchived
Standalone FFI library for calling C functions from lua. Compatible with the luajit FFI interface.
+1 stars
from 474 · score 0.69
+1 stars
from 427 · score 0.69
+1 stars
from 368 · score 0.69
1095.gtkd-developers / GtkD
GtkD is a D binding and OO wrapper of GTK+ originally created by Antonio Monteiro
+1 stars
from 326 · score 0.69
+1 stars
from 318 · score 0.69
1097.johnpaulett / python-hl7
A simple library for parsing messages of Health Level 7 (HL7) version 2.x into Python objects.
+1 stars
from 317 · score 0.69
1098.klahnakoski / mo-sql-parsing
Let's make a SQL parser so we can provide a familiar interface to non-sql datastores!
+1 stars
from 292 · score 0.69
+1 stars
from 290 · score 0.69
1100.vmagnin / gtk-fortran
A GTK / Fortran binding, and its documentation (in the Wiki tab).
+1 stars
from 288 · score 0.69