16801.mathiasbourgoin / Sarek
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
- gpgpu
Ranked by Attention Score: stars gained over the last 90 complete days
16801–16900 of 24,301 by Attention Score · Aug 9, 2026 – Nov 6, 2026 (UTC)
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
Chemical 2D structure editor application/applet based on the Chemistry Development Kit
Publish your Playwright test results to your favourite Slack channel(s).
Allows Sequel to reuse Active Record's database connection
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
CCU-Jack bietet einen einfachen und sicheren REST- und MQTT-basierten Zugriff auf die Datenpunkte der Zentrale (CCU) des Hausautomations-Systems HomeMatic. Zudem können einfach Fremdgeräte an die CCU angebunden werden.
Gif exporter for Godot made entirely in GDScript
MQTT client library for CODESYS, supporting all QoS
The most sophisticated background location-tracking & geofencing module with battery-conscious motion-detection intelligence for iOS and Android.
A library of mechanised undecidability proofs in the Coq proof assistant.
Mockbin by Zuplo. Mock, Test, and View HTTP Requests and Responses
Containerized Development Environment Manager for embedded development
Single-binary observability, time-series database, and built-in dashboard for Raspberry Pi, edge devices, and local metrics.
Brings together information about OpenStreetMap tags and makes it searchable and browsable
CLI and library for Roblox Open Cloud API
Carol is a minimal and beautiful lyrics app for macOS built with SwiftUI
Open-source DAW with a node graph system.
Crowdin iOS SDK delivers all new translations from Crowdin project to the application immediately
🚀 Configurable Golang 📨 email validator/verifier. Verify email via Regex, DNS, SMTP and even more. Be sure that email address valid and exists.
A lazy-loading library for neovim, inspired by, but different from, nvim-neorocks/lz.n
Audio synthesis from binary code of any file
Live IP Software Toolkit to assist EBU members in the implementation of IP based facilities
Static & dynamic D bindings to SDL and the SDL_* libraries, compatible with BetterC, @nogc, and nothrow. (Mirror)
Auto-QChem is an automated workflow for the generation and storage of DFT calculations for organic molecules.
Egoboo is a working cool 3D dungeon crawling game in the spirit of NetHack for Windows, Linux and Mac.
Easy to use and modular library to make self updating golang programs
A CHIP-8 interpreter, assembler and disassembler in C
[WIP] Simple mobile applications sandbox file browser tool. Powered with [frida.re](https://www.frida.re).
Writeups of Capture The Flag Competitions
Colorscheme for (neo)vim written in lua, specially made for roshnivim with Tree-sitter support.
Hubleys Brave New Dashboard
code to run sei and obtain sei and sequence class predictions
A parser/renderer for Aseprite animations in LÖVE. :peach:
Simple framework to extract "actionable" data from Android malware (C&Cs, phone numbers etc.)
Tool for easy work with your scenes in Godot 4.4+
ESP_LCD based MicroPython driver for ESP32-S3 Devices with ST7789 or compatible displays.
An oekaki BBS board running on top of the AT Protocol.
The repository host gives no description.
This repository contains reverse engineering results and resources for a few specific car models of a very specific car manufacturer. Please don't sue.
Weave GraphQL schema and resolvers using runtime types in TypeScript/JavaScript
open source, multiplayer, extensible rogue-like
a macOS/OSX app to comfortably browse and search through your Messages.app history.
A powerful resolution-handler and rendering library for LÖVE 📐
The repository host gives no description.
The world's only Open Source CPaaS with a Twilio compatible API
Cache and mock network requests in Playwright
A tiny menu bar app detecting the chords of the songs you are listening on iTunes or Spotify.
A self-hostable REST-like API to get the time zone from geo coordinates
The repository host gives no description.
Opinionated typing package for precise type hints in Python
This repository hosts the specification for the Cartographic Information Model
Telegram bots in Lazarus (and FreePascal)
A framework for speeding up the development of automated UI tests for Windows, Android, iOS, and Web with Appium/Selenium on .NET
A Swift library for macOS automation — mouse, keyboard, screenshots, image recognition, and AI-powered agents.
OpenIG is an open-source identity gateway (reverse-proxy) that secures, routes, and manages web traffic. It enables authentication, access control, and integration with identity providers, delivering single sign-on and API security for web and cloud applications.
A graphical user interface to annotate point clouds and 3D data.
A dark and earthy colorscheme for Neovim.
minimalistic terminal UI for everyday Docker operations
The repository host gives no description.
Capacitor plugin for calendars and events on iOS and Android, reminders on iOS, and .ics event creation on the web.
🚀📦 Multi-tenancy support for GORM managed databases
Address book for computer vision models.
slick is a simple to use polygon collision library inspired by bump.lua
Smooth Motion is a Kotlin library for simplifying animations and transitions in Jetpack Compose. It provides pre-built animations for common UI interactions and utility functions for implementing complex animations.
PowerToysRun-VideoDownloader is a plugin for Microsoft PowerToys Run that allows you to quickly download videos from various platforms (primarily YouTube) directly from your PowerToys Run interface. Simply type dl followed by a video URL to get started.
HOTP/TOTP one time passwords on java phones (J2ME)
A tiny Neovim plugin to highlight text matching the current selection in visual mode 💫
A powerful cross-platform audio engine, optimized for games.
A database of paths that represent the mechanism of action from a drug to a disease in an indication.
Connect Ubiquiti UniFi controller to MQTT :satellite:
Capacitor plugin for native audio engine.
Tamp is a low-memory, DEFLATE-inspired lossless compression library.
Backend API for location-based games or mapping applications powered by OpenStreetMap data. Renders maptiles without external dependencies in C# from SQL Server, MariaDB, or PostgreSQL
map2pdb: A utility to generate pdb debug info for Delphi applications
Docker Compose setup to self-host Swetrix CE - a privacy-focused, cookieless web analytics platform
A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)
PyTorch implementation of the MIDAS algorithm for single-cell multimodal data integration (Nature Biotechnology 2024).
Open-source browser and installer for Homebrew casks and macOS/iOS apps
Single user snippet manager web app.
C++ implementation of RAVENNA AES67 ST2110-30 for desktop and (virtual) servers
FMX Audio BASS Lib for Win, Android, Linux
Neovim plugin to calculate mathematical expressions within a buffer with visual mode, functions and variable support.
🌻🌸 The ultimate decentralized website deployment toolkit
git checkout for releases that span many repos. Version tags that restore your whole product. No server, no database, any language.
📚 Only Cite what you can verify
Itinerary and boarding pass management application