Repository Index

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

• coq
• mathematics
• unimath
• coq-library

Chamilo is a learning management system focused on ease of use and accessibility

• chamilo
• twig
• php
• elearning

LinksHub aims to provide developers with access to a wide range of free resources and tools that they can use in their work. These resources include links to free software, libraries, frameworks, and other tools that can be used to build and deploy applications and websites.

• nextjs
• open-source
• resources
• tailwindcss

zerocode-tdd is a community-developed, free, open-source, outcome-driven automated testing framework for Data Pipelines, ETL, REST API, Kafka(Data Streams), Databases and Load scenarios. all defined in simple JSON or YAML — with zero coding.

• soap
• assertions
• java
• api

Complete logs of the experiments in the blog post 'LLMs can understand and write neural network weights'

A RocksDB compliant high performance scalable embedded key-value store

• key-value-store
• kvs
• storage-engine
• speedb

Make posters, social posts, slides and landing pages in the coding agent or chat you already use (Copilot, Claude, Codex, Cursor), with 198 design systems, checks and PDF/PNG/PowerPoint export.

• claude-code
• codex
• cursor
• dashboard

Rails jQuery file uploads via standard Rails "remote: true" forms.

Fire your SEO·GEO agency 🔥 A Claude Code skill that audits and optimizes SEO·AEO·GEO·LLMO·NEO(Naver) by itself — 월 50~350만 원짜리 'AI 검색 최적화' 대행, AI 에이전트가 대체합니다

• aeo
• ai-search
• claude-code
• claude-skills

Deployment platform for teams to deploy internal tools. Deploy web apps declaratively, on a single-node or on Kubernetes, with OIDC/SAML auth and RBAC.

• golang
• htmx
• starlark
• devops-tools

Build AI agents that run 100% on-device. Sub-100ms latency on Qualcomm NPU. Zero cloud dependency.

• agent-framework
• ai-agent
• automotive
• edge-ai

A library for enabling task-based multi-threading. It allows execution of task graphs with arbitrary dependencies.

• cpp
• multithreading
• fibers
• task-scheduler

The open source operating system for digital agencies. Built with Directus and Nuxt.

• directus
• headless-cms
• nuxt
• tailwindcss

30 different honeypots in one package! (dhcp, dns, elastic, ftp, http proxy, https proxy, http, https, imap, ipp, irc, ldap, memcache, mssql, mysql, ntp, oracle, pjl, pop3, postgres, rdp, redis, sip, smb, smtp, snmp, socks5, ssh, telnet, vnc)

• pypi
• monitoring-tool
• network-analysis
• malware-analysis

🌊 Continuously synchronize the systems where your data lives, to the systems where you _want_ it to live, by managing your data flows with Estuary. 🌊

• change-data-capture
• data
• data-collection
• data-engineering

Useful localization tools with Python API for building localization & translation systems

• translate
• localization
• hacktoberfest
• i18n

:spider_web: Gmsh for Python

• python
• pypi
• mesh-generation
• engineering

A personal home screen for Samsung The Frame. A starting point to fork and adapt.

Python Framework to analyse Git repositories

• msr
• python3
• git
• mining-software-repositories

Authenticated Encryption with Associated Data Algorithms: high-level encryption ciphers

An extensible distributed system for reliable nearline data streaming at scale

• distributed-systems
• data-streaming
• scalability
• kafka-mirror-maker

Automated diagrams of CDK provisioned infrastructure

Sail architecture definition language

A MS-DOS Creative Coding IDE/platform based on JavaScript

• msdos
• retrocomputing
• retro
• javascript