leanprover / cslib
The Lean Computer Science Library (CSLib)
leanprover / cslib
dynamicslab / pysindy
A package for the sparse identification of nonlinear dynamical systems from data
OSideMedia / higgsfield-ai-prompt-skill
Claude AI skill for cinematic Higgsfield AI prompts — 32 sub-skills covering Seedance 2.5 (omni-reference, video edit + extend) and 2.0, the Hell Grind feature-film pipeline, an acting system, Cinema Studio 2.5/3.0/3.5, MCSLA, Soul ID consistency, Kling 3.0 Motion Control, the DISCIPLINE framework, and 18 templates.
URLab-Sim / UnrealRoboticsLab
A high-fidelity, open-source robotics simulator integrating Unreal Engine's photorealistic rendering with MuJoCo's precision physics.
citation-style-language / styles
Official repository for Citation Style Language (CSL) citation styles.
MarimerLLC / csla
A home for your business logic in any .NET application.
insomniacslk / dhcp
DHCPv6 and DHCPv4 packet library, client and server written in Go
emacs-citar / citar
Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.
dynamicslab / hydrogym
An RL-Gym for Challenge Problems in Data-Driven Modeling and Control of Fluid Dynamics.
moov-io / watchman
AML/CTF/KYC/OFAC Search of global watchlist and sanctions
aristoteleo / dynamo-release
Inclusive model of expression dynamics with conventional or metabolic labeling based scRNA-seq / multiomics, vector field reconstruction and differential geometry analyses
xcslys99 / FootageFlow
Open-source footage search, research workspace & link downloader for macOS and Windows.
axcslmd / video-auto-maker
—
IntelligentRoboticsLab / booster_mjlab
An mjlab integration for the Booster K1
generalroboticslab / SonicFly
Embodied Passive Aeroacoustic Perception Enables Relative Sensing and Pursuit Between Aerial Robots
4KVCD / VideoMetricsLab
Calculate VMAF, VMAF NEG, VMAF v1, SSIMULACRA2, Butteraugli and ColorVideo VDP on NVIDIA, AMD and Intel GPUs, alongside PSNR, SSIM and XPSNR. Compare encodes with frame-exact playback that switches between the source and each encode instantly to easily spot differences.
sysprog21 / frama-c-mcp
MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration