1101.lispnik / iup
Common Lisp CFFI bindings to the IUP Portable User Interface library (pre-ALPHA)
- common-lisp
- cffi
- gui
- iup
+1 stars
from 157 · score 0.69
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
1101–1200 of 1,207 by Attention Score · Aug 7, 2026 – Nov 4, 2026 (UTC)
1102.pyrocat101 / opal
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
+1 stars
from 155 · score 0.69
1103.markrogoyski / itertools-php
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
- generator
- loops
- +8 more
+1 stars
from 151 · score 0.69
+1 stars
from 149 · score 0.69
1105.crystal-lang / crystal_lib
Automatic binding generator for native libraries in Crystal
+1 stars
from 144 · score 0.69
1106.gregorias / coop.nvim
A Neovim plugin for readable concurrency with coroutines.
- coroutines
- neovim-plugin
+1 stars
from 144 · score 0.69
1107.zalando / faux-pas
A library that simplifies error handling for Functional Programming in Java
- java
- functional-programming
- exception-handling
- error-handling
- completable-future
- monitoring
+1 stars
from 143 · score 0.69
1108.tomhea / flipjump
The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
- macro-assembler
- compiler
+1 stars
from 142 · score 0.69
1109.bzick / tokenizer
Tokenizer (lexer) for anything
+1 stars
from 141 · score 0.69
1110.hipeta / arrow-macros
Arrow-macros provides Clojure-like arrow macros in Common Lisp
+1 stars
from 141 · score 0.69
+1 stars
from 139 · score 0.69
+1 stars
from 139 · score 0.69
1113.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
+1 stars
from 135 · score 0.69
1114.rocq-community / coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
- coq-ci
+1 stars
from 135 · score 0.69
1115.clojure / data.avl
Persistent sorted maps and sets with log-time rank queries
+1 stars
from 134 · score 0.69
1116.plashenkov / SQLite3-Delphi-FPC
Complete SQLite API translation and simple wrapper for Delphi and FreePascal
+1 stars
from 133 · score 0.69
1117.mmottl / sqlite3-ocaml
OCaml bindings to the SQLite3 database
+1 stars
from 131 · score 0.69
1118.askyrme / luaproc
luaproc is a concurrent programming library for Lua
+1 stars
from 130 · score 0.69
1119.jtomschroeder / crystalline
A collection of containers & algorithms for the Crystal programming language
- crystal
- algorithms
+1 stars
from 129 · score 0.69
1120.AppsFlyer / pronto
Clojure support for protocol buffers
- clojure
- protobuf
- protobuf3
- protobuf-java
- protocol-buffers
+1 stars
from 126 · score 0.69
1121.JonasKruckenberg / tauri-sys
Bindings to the Tauri API for projects using wasm-bindgen
- rust
- tauri
- wasm
- wasm-bindgen
- webassembly
+1 stars
from 124 · score 0.69
+1 stars
from 121 · score 0.69
1123.janekb04 / glfwpp
GLFW C++ Wrapper - thin, modern, C++17, header-only GLFW wrapper
- glfw
- cpp
- cpp17
- wrapper
- header-only
- cmake
- +1 more
+1 stars
from 121 · score 0.69
+1 stars
from 120 · score 0.69
1125.pinterface / burgled-batteries
A bridge between Python and Lisp (FFI bindings, etc.)
+1 stars
from 120 · score 0.69
1126.vksnk / go-fann
Go bindings for FANN, library for artificial neural networks
+1 stars
from 119 · score 0.69
1127.rjNemo / underscore
🌟 Useful functional programming helpers for Go
- golang
- go
- functional-programming
- library
- functional
- utilities
+1 stars
from 117 · score 0.69
+1 stars
from 115 · score 0.69
1129.dbmcclain / Lisp-Actors
Thread-agnostic Actors in Common Lisp
+1 stars
from 113 · score 0.69
+1 stars
from 113 · score 0.69
+1 stars
from 107 · score 0.69
+1 stars
from 105 · score 0.69
1133.vstelmakh / url-highlight
PHP library to find URLs in text and turn them into clickable links. Made to handle complex URLs, HTML markup and edge cases.
+1 stars
from 103 · score 0.69
1134.MaT1g3R / option
Rust like Option and Result types in Python
- option-type
- optional
- result-type
- result
- typing
- mypy
- +1 more
+1 stars
from 102 · score 0.69
1135.tsteinholz / LoveShaderConverter
Shadertoy :arrow_right: LÖVE GLSL || Converter
+1 stars
from 97 · score 0.69
+1 stars
from 95 · score 0.69
+1 stars
from 93 · score 0.69
1138.asmotor / asmotor
Powerful macro (cross) assembler package for several CPUs
+1 stars
from 90 · score 0.69
1139.Primetalk / goio
An implementation of IO, Stream, Fiber for golang inspired by cats and fs2
+1 stars
from 88 · score 0.69
1140.SaschaWillems / dglOpenGLArchived
Delphi / Pascal OpenGL header translation (including WGL and GLX)
- opengl
- delphi
- pascal
- headers
+1 stars
from 87 · score 0.69
1141.libgdx / gdx-jnigen
jnigen is a small library that can be used with or without libGDX which allows C/C++ code to be written inline with Java source code.
- java
- jni
- gradle
+1 stars
from 87 · score 0.69
+1 stars
from 85 · score 0.69
1143.FractalFir / wrapped_mono
Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.
- csharp
- dotnet
- fsharp
- mono
- rust
+1 stars
from 84 · score 0.69
1144.TeMPOraL / cl-sqlite
Common Lisp binding for SQLite
+1 stars
from 84 · score 0.69
+1 stars
from 84 · score 0.69
1146.stcarrez / ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
- json
- beans
- +1 more
+1 stars
from 83 · score 0.69
1147.vindarel / cl-cookieproject
Generate a ready-to-use Common Lisp project
- common-lisp
- cookiecutter
- lisp
+1 stars
from 83 · score 0.69
1148.wadehennessey / wcl
The repository host gives no description.
+1 stars
from 83 · score 0.69
1149.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
+1 stars
from 82 · score 0.69
1150.formalsec / smtml
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
- colibri2
- alt-ergo
- +4 more
+1 stars
from 80 · score 0.69
1151.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
+1 stars
from 80 · score 0.69
1152.leifg / formulon
Salesforce Formula Parser implemented in ES2017. Live demo at
+1 stars
from 78 · score 0.69
1153.artyom-poptsov / guile-ssh
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
+1 stars
from 75 · score 0.69
1154.malisper / Clamp
Common Lisp with Arc Macros and Procedures
+1 stars
from 75 · score 0.69
+1 stars
from 73 · score 0.69
1156.rocq-community / manifesto
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
+1 stars
from 73 · score 0.69
1157.cojen / Maker
Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.
- java-bytecode
- invokedynamic
- java
- jvm-bytecode
- code-generation
- bytecode
- +1 more
+1 stars
from 72 · score 0.69
1158.ccy / txquery
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.
+1 stars
from 71 · score 0.69
1159.smithzvk / modf
A setf like macro for functional programming
+1 stars
from 71 · score 0.69
1160.stil / CurlThin
Lightweight cURL wrapper for C# with support for curl_multi polling interface through libuv
- curl
- libcurl
- libuv
- multiprocessing
- http
- http-client
+1 stars
from 71 · score 0.69
1161.fjames86 / ftw
Common Lisp Win32 GUI library
+1 stars
from 70 · score 0.69
+1 stars
from 69 · score 0.69
1163.jingtaozf / literate-lisp
Load Common Lisp code blocks from Org files
+1 stars
from 69 · score 0.69
+1 stars
from 69 · score 0.69
1165.shiryel / rayex
Raylib binds to elixir for programming games
+1 stars
from 69 · score 0.69
1166.yohasebe / ruby-spacy
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
+1 stars
from 68 · score 0.69
1167.OneWingedShark / Byron
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
+1 stars
from 66 · score 0.69
1168.viniciusfbb / ipub-messaging
Messaging system for communication between classes / layers in delphi
- delphi
- firemonkey
- vcl
- fmx
- cross-platform
- multithreading
+1 stars
from 62 · score 0.69
+1 stars
from 60 · score 0.69
1170.h0ngcha0 / bitcoin4s
A Bitcoin Script Interpreter and Debugger in Scala
+1 stars
from 60 · score 0.69
1171.querycert / qcert
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
- coq-proof-assistant
- sql
- +2 more
+1 stars
from 60 · score 0.69
+1 stars
from 57 · score 0.69
1173.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
+1 stars
from 56 · score 0.69
+1 stars
from 56 · score 0.69
1175.WouterVanNifterick / delphi-shader
Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code
+1 stars
from 55 · score 0.69
+1 stars
from 55 · score 0.69
1177.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
+1 stars
from 55 · score 0.69
1178.stylewarning / cl-permutation
Permutations and permutation groups in Common Lisp.
- permutations
- permutation-groups
- permutation-algorithms
- lisp
+1 stars
from 54 · score 0.69
1179.andy128k / cl-gobject-introspection
The repository host gives no description.
+1 stars
from 53 · score 0.69
1180.tiendc / gofn
High performance utility functions using Generics
- filter
- functional
- generics
- go
- golang
- transform
- +2 more
+1 stars
from 53 · score 0.69
+1 stars
from 52 · score 0.69
1182.crystal-lang / clang.cr
libclang bindings for crystal (including automatic C bindings generator)
+1 stars
from 52 · score 0.69
+1 stars
from 50 · score 0.69
1184.math-comp / finmap
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
+1 stars
from 50 · score 0.69
1185.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
+1 stars
from 50 · score 0.69
1186.byulparan / cl-nextstep
Cocoa binding for Common Lisp on macOS
+1 stars
from 47 · score 0.69
1187.ChrisCho-H / bithoven
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
+1 stars
from 43 · score 0.69
1188.goradd / got
GoT is a template engine that turns templates into Go code to compile into your app.
- golang
- go
- template-engine
- templates
+1 stars
from 38 · score 0.69
1189.lockie / cookiecutter-lisp-game
A cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp
- game-development
+1 stars
from 36 · score 0.69
1190.ttytm / dialog
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
- gtk2
- gtk3
- +7 more
+1 stars
from 34 · score 0.69
1191.hexdigest / execpool
A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.
+1 stars
from 29 · score 0.69
1192.jhspetersson / packrat
Gatherers library for Java Stream API
- java
- streams-api
- gatherer
- gatherers
- streams
- jdk25
+1 stars
from 29 · score 0.69
1193.floooh / sokol-d
D bindings for the sokol headers (https://github.com/floooh/sokol)
- bindings
- d
- dlang
- sokol
- cross-platform
- emscripten
- +1 more
+1 stars
from 28 · score 0.69
1194.CHSZLab / CHSZLabLib
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
- graph-algorithms
- graph-partitioning
- +8 more
+1 stars
from 27 · score 0.69
+1 stars
from 22 · score 0.69
1196.atgreen / rewrite-cl
Read, modify, and write Common Lisp source code while preserving whitespace and comments
+1 stars
from 20 · score 0.69
1197.Jason94 / coalton-io
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
+1 stars
from 19 · score 0.69
1198.yaa110 / goterator
Lazy iterator implementation for Golang
- golang
- iterator
- golang-package
- golang-module
- mapreduce
+1 stars
from 19 · score 0.69
1199.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
+1 stars
from 17 · score 0.69
1200.rocq-community / templates
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
+1 stars
from 17 · score 0.69