Thin F# API for SqlClient for easy data access to ms sql server with functional seasoning on top
Repository Index
47,133 repositories indexed
13,537–13,560 of 18,343 · Most stars
Web application to manage CSA (Community Supported Agriculture), ACP (Agriculture Contractuelle de Proximité) or Solawi (Solidarische Landwirtschaft) organizations.
- acp
- csa
- rails
- ruby
☁️ next-serverless deploys your next.js application to AWS Lambda with minimal or even no configuration.
- nextjs
- react
- plugin
- serverless
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
🔍 Load environment variables into a config struct
- 12factor
- environment-variables
- go
- configuration
Declarative Prisma Authorization layer
slippery chicken: algorithmic composition software in common lisp and clos
- music
- algorithms
- algorithmic-composition
- common-lisp
MicroPython implementation of the Homie MQTT convention for IoT.
- micropython
- mqtt
- iot
- homie
Friendly library to push and receive instant notifications using ntfy.sh servers in Delphi
- delphi
- notifications
- ntfy
- push-notifications
Go implementation of the Open Packaging Conventions (OPC)
- files
- golang
- go
- xml
A Maven plugin for pimping the build of your Vert.x applications
A collection of tools for archiving and analysing the internet.
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
💾 Generate a new Elm project from the command line (Elm 0.16+)
- elm
- cli
- no-dependencies
- scaffolding
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
A native Selenium WebDriver binding for ColdFusion
- coldfusion
- lucee
- railo
- selenium
A collection of nodes for the IBM Watson services
- node-red
- watson
Student submissions for the WWDC 2025 - Swift Student Challenge
- apple
- swift-playgrounds
- swift-student-challenge
- wwdc
A macOS app to parse face landmarks from a video for training GANs
- gans
- annotator
- macos
- swift
Undo. Redo. Time travel. Take control of your edit history with an interactive timeline, diff previews, taggings, live reloading trees and cleanup functions.
Dot Net Core based Chrome Debugger Protocol Generator
- chrome-debugger-protocol
- dotnet
- chrome-debugging-protocol
- chrome-devtools
Xcode extension to send code to GitHub's Gist
- xcode
- xcode-extension
- xcode-plugin
- gist
Create SVG vector graphics in F#
Autonomous multi-agent framework to optimize scientific software
- acceleration
- agentic-ai
- ai-agents
- bioinformatics