Quickly build amazing web apps
- coalesce
- typescript
- framework
- intellitect
Repository Index
47,133 repositories indexed
15,649–15,672 of 21,178 · Most stars
A list of awesome selected resources towards the application of machine learning in Biomedical/Healthcare Imaging, inspired by
Thin F# API for SqlClient for easy data access to ms sql server with functional seasoning on top
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
An iOS / Mac view controller for chess boards
- cocoapods
- xcode
- chessboard
- chess
🔍 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
Format iOS attributed strings easily
💾 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
Incrementable UILabel for iOS and tvOS
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