SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Repository Index
47,133 repositories indexed
3,265–3,288 of 4,848 · Most stars
Source code for the book "Game Boy Assembly Programming for the Modern Game Developer"
Modular, fast NLP framework, compatible with Pytorch and spaCy, offering tailored support for French clinical notes.
- nlp
- medical
- text-mining
- clinical-data-warehouse
Manga / black & white comic filter for ComfyUI: crisp lines, flat tones, real screentone (halftone), solid blacks and panel frames.
- black-and-white
- comfyui
- comfyui-nodes
- comic
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
Machine is a workflow/pipeline library for processing data
- golang
- golang-library
- golang-package
- workflow
Simple Telegram bot library for Crystal
- telegram-bot
- crystal
- telegraf
- webhook
🤘Utility library for functional JavaScript. With ❤️ to Ramda.
- ramda
- ramda-functions
- utils
- utilities
NetCoreCMS is a modular theme supported Content Management System developed using ASP.Net Core 2.0 MVC. Which is also usable as web application framework. This project is still under development. Please do not use before it's first release.
- asp-net-core
- c-sharp
- cms-framework
- site-engine
PHPCheckstyle is an open-source tool that helps PHP programmers adhere to certain coding conventions.
- php
- coding-conventions
- phpcheckstyle
- checkstyle
A curated list of smart :tv: frameworks, libraries, software and resources.
- smart-tv
- awesome-list
Daggy - Data Aggregation Utility and C/C++ developer library for data streams catching
- serverless-framework
- streaming
- stream-processing
- qt
The Contract for Building New Function Frameworks
Zeline — an open-source agentic AI framework developed by Zerolinear.
Faster enum reflection for C++17 since I don't want to wait for C++26 reflection.
- c-plus-plus
- cpp
- cpp20
- enum
OpenBioLink is a resource and evaluation framework for evaluating link prediction models on heterogeneous biomedical graph data.
An Apache Spark framework for easy data processing, extraction as well as derivation for web archives and archival collections, developed at Internet Archive.
- archivespark
- spark-framework
- spark
- web-archiving
A Genetic Programming platform for Python with TensorFlow for wicked-fast CPU and GPU support.
Concurrency oriented programming in Lua
tcpack is an application protocol based on TCP to Pack and Unpack bytes stream in go program.
- go
- tcp
- golang
- golang-examples
Bitcoin Programming with BitcoinJS, Bitcoin Core and LND
- bitcoinjs-lib
- bitcoin
- javascript
- bitcoin-core
This repository contains codes for the paper entitled "A CNN-RNN Framework for Crop Yield Prediction"
A realtime visual programming language for interactive media.
A Framer module that uses AirBnb's Lottie-Web to render animations exported from After Effects (JSON files)