Exercism exercises in OCaml.
- exercism-track
- community-contributions-accepted
- maintained-solitary
Repository Index
85,578 visible repositories in the index
21,265–21,288 of 26,131 · Most stars
Create elixir functions with SQL as a body.
a macOS/OSX app to comfortably browse and search through your Messages.app history.
Turn OpenStreetMap data and schedule information into GTFS
- openstreetmap
- gtfs
- schedule
- public-transportation
Quickly move between next and previous NeoVim buffer, tab, file, quickfix, diagnostic, etc.
AI-managed Auto Compact for DeepSeek Harness: the agent decides when to compact context and what to retain based on task progress, without waiting for a fixed token threshold.
- ai-agents
- context-management
- deepseek-harness
- dsh
Dependency injection for modular web applications
- dependency-injection
- ioc
- javascript
- typescript
WebAssembly runtime for Crystal
- crystal
- crystal-lang
- crystal-language
- webassembly
Data management for the sensor-edge-cloud continuum
- bigdata
- streamprocessing
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
Manage and use multiple Ollama instances with automatic offline detection/failover and model availability tracking
A flexible framework for neural network for Ruby
Adds an images tab to your pages so you can format a group of images really nicely on the frontend
SQL database as a canonical source of historical data
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
A powerful schema validator!
- schema-validation
- yaml
- json
- schema
hsolve：电磁仿真大规模非正定厄密特征值求解。Certified shift-invert eigensolver for large sparse Hermitian (indefinite, generalized) eigenproblems from EM simulation: MUMPS LDLᵀ + block Krylov-Schur + Sylvester-inertia completeness certificate.
- computational-electromagnetics
- cpp17
- eigensolver
- eigenvalues
Golang simple thread pool implementation
- golang
- threadpool
- channels
- scalable
Malware-Defender: Real-Time Antivirus, Network Monitoring, and Registry Analysis for Windows
- download-malware-defender
- firewall
- malware-defender-download
- malware-defender-latest-version
An app to search startup jobs scraped from websites written in Elixir, Phoenix, React and styled-components.
Automatically exported from code.google.com/p/firemonkey-container
LabVIEW Development Environment for Electronic Circuit Design and Process Automation
- control-systems
- design-pcbs
- download-labview
- labview-installer
Penguins-Journey: Build Bridges, Solve Puzzles, Lead the Colony
- game-tools
- mental-skills
- path-building
- pc-games
Winarchiver: Multi-format Compression and Disc Image Utility for Windows
- create-iso-files
- file-compression-tools
- trial-version
- winarchiver