SqlHydra is a suite of NuGet packages for working with databases in F# including code generation tools and query expressions.
- fsharp
- orm
- typeprovider
Repository Index
47,133 repositories indexed
697–720 of 1,361 · Most stars
Aggregates security advisories from 10 international CERTs daily and provides an AI skill that cross-references alerts against your project's tech stack.
- cve
- security
- security-alerts
- vulnerability
One API for every LLM: 170+ providers through one client, with a Rust core and native bindings for every major language.
pysap is an open source Python library that provides modules for crafting and sending packets using SAP's NI, Diag, Enqueue, Router, MS, SNC, IGS, RFC and HDB protocols.
- cbas
- python
- sap
- scapy
A Library for Representing Recursive and Impure Programs in Coq
Pipit is a Wagtail CMS boilerplate which aims to provide an easy and modern developer workflow with a React-rendered frontend.
JQuick-Pdf is an enterprise-grade Java PDF generation framework. It provides HTML-like declarative syntax and supports more than 30 kinds of graphs, greatly simplifying complex PDF report creation while retaining full native pdfbox(since version 4.0.0) APIs.
- apache-pdfbox
- charts
- data-visualization
- fonts
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
A Flutter plugin providing access to NFC features on Android and iOS.
Multi platform setup for Rocq, Rocq libraries and tools
A TestNG like dataprovider runner for JUnit with many additional features
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
A fast software factory workflow for Claude Code: one approval gate, parallel waves, routed models
An F# type provider for in-process R interop
- r-language
- r-programming
- type-providers
INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.
- grading
- assessment
- education
- e-assessment
A Flask extension to access, upload, download, save and delete files on cloud storage providers such as: AWS S3, Google Storage, Microsoft Azure, Rackspace Cloudfiles, and even Local file system
A Private Terraform Registry
- hashicorp
- hashicorp-terraform
- registry
- terraform
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
Monitor and profiler powered by eBPF to monitor network traffic, and diagnose CPU and network performance.
- skywalking
- observability
- apm
- service-mesh
This package provides json web token (jwt) middleware for goLang http servers
This is the GitHub home of Race Into Space, the computer version of the Liftoff! board game by Fritz Bronner. It was developed by Strategic Visions and published by Interplay as a disk-based game in 1993 and a CD-ROM in 1994. It was open-sourced in 2005 and a number of improvements have been made over the original.
- lunar
- lunar-lander
- moon
- probe
A Neovim plugin that provides an explanation for regular expressions.
Go AI SDK, the Go way. One unified API across 21+ providers. Streaming, structured output, MCP support, stdlib only. Go AI SDK for AI applications inspired by Vercel AI SDK.