Repository Index

XLForm is the most flexible and powerful iOS library to create dynamic table-view forms. Fully compatible with Swift & Obj-C.

• xlform
• forms
• swift
• objective-c

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

LIEF - Library to Instrument Executable Formats (C++, Python, Rust)

• reverse-engineering
• malware-analysis
• binary-analysis
• parser

✨ PTerm is a modern Go module to easily beautify console output. Featuring charts, progressbars, tables, trees, text input, select menus and much more 🚀 It's completely configurable and 100% cross-platform compatible.

• go
• golang
• golang-library
• pretty-print

Autonomous research system for measurable, computer-executable research.

Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, autocompletion, subcommands, and more. In 1 source file so apps can include as source & avoid adding a dependency. Written in Java, usable from Groovy, Kotlin, Scala, etc.

• java
• commandline
• parser
• ansi-colors

canonical libwebsockets.org networking library

• websockets
• c-library
• portable-library
• client-server

Automatically generate Go test boilerplate from your source code.

• golang-tools
• testing
• code-generator
• go

fast, portable, and extensible cmd+k interface for your site

• react
• javascript
• typescript
• hooks

An intuitive spreadsheet-like interface that lets users of all technical skill levels view, edit, query, and collaborate on Postgres data directly. 100% open source and self hosted, with native Postgres access control.

• python
• django
• javascript
• typescript

Kimai is the #1 open-source time-tracking application. From freelancers to companies and organisations - everyone can manage timesheets, generate reports, create invoices and so much more... Web-based multi-user application, available as On-Premise or SaaS version: https://www.kimai.org

• timetracker
• timetracking
• doctrine
• twig

Universally Unique Lexicographically Sortable Identifier (ULID) in Go

Small portable AES128/192/256 in C

UICollectionView replacement of UITableView. Do even more like Parallax Header, Sticky Section Header. Made for iOS 7.

[COLM 2024] OpenAgents: An Open Platform for Language Agents in the Wild

• llm
• code-generation
• executable-langauge-grounding
• language-model

jQuery DataTables API for Laravel

• php
• laravel
• datatables
• laravel-datatables

Easy-to-use data handling for SQL data stores with support for implicit table creation, bulk loading, and transactions.

• sql
• database
• python

A standalone and lightweight C library

• c
• generic
• library
• hashtable

A high performance, editable terrain system for Godot 4.

• godot-plugin
• godot4
• terrain
• gamedev-tool

Next generation of automated data exploratory analysis and visualization platform.

• datamining
• visualization
• automated-visualization
• data-exploration

✨ A feature-rich yet lightweight data-table crafted for Angular

• angular
• datatable
• table
• grid

Use any web browser or WebView as GUI, with your preferred language in the backend and modern web technologies in the frontend, all in a lightweight portable library.

• webui
• gui
• webapp
• browser

Self-hostable workflow orchestrator for teams whose main work isn't orchestration. Declarative YAML over your scripts, SSH commands, containers, etc; keep workflows separate from business logic. One binary, no database, runs on limited H/W resources. Alternative to Airflow / Cron / Job Scheduler.

• cron
• workflow-engine
• workflow-scheduler
• workflow-orchestration

A lightweight macOS window and app manager scriptable with JavaScript