Logic programming in Swift
- swift
- kanren
- logic-programming
- solver
Repository Index
80,339 visible repositories in the index
1,561–1,584 of 1,985 · Most stars
A generics based dependency injection application framework for Go, supporting aspect oriented programming based on interceptors
- code-generation
- dependency-injection
- framework
- generics
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
A haxe programming library for beginners. Powered by OpenFL and Starling.
- openfl
- haxe
- starling
- framework
An esoteric programming language built to break LLMs and coding agents.
A simple framework for compile-time benchmarks
collection of C/C++ programs that try to get compilers to exploit undefined behavior
Provides a JAR and an AAR for embedding the Tor Onion Proxy into a Java or Android Program
Railway-oriented programming for .NET
Vert.x Blueprint Project - A reactive todo-backend implementation using Vert.x and various persistence
- vertx
- restful-api
- asynchronous
- rxjava2
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.
- clojure
- pattern-matching
- functional-programming
C++ Bitmap Library https://www.partow.net/programming/bitmap/index.html
- bitmap
- c-plus-plus
- graphics
- color-mapping
ChemML is a machine learning and informatics program suite for the chemical and materials sciences.
- quantum-mechanics
- materials-informatics
- data-science
- machine-learning
Swift µframework with extensions for the Optional Type
- swift
- functional-programming
- swift-extensions
Header-only C++ program options parser library
- getopt
- program-options
- option-parser
- commandline-flags
:mouse: A magazine website (using .NET Core, ASP.NET Core, EF Core) with DDD, CQRS, microservices, asynchronous programming applied...
- dotnet-core
- microservices
- reactive-extensions
- docker
Learn V by Example
- learning
- programming
- educational
- lessons
🔍 Function-level tracing tool for Seccomp profiling, with eBPF
- ebpf
- ebpf-programs
- golang
- seccomp
Sempare Template (scripting) Engine for Delphi allows for flexible dynamic text generation. It can be used for generating email, html, reports, source code, xml, configuration, etc.
- delphi
- delphi-library
- pascal-programming
- template-engine
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
Read and write Neuroglancer datasets programmatically.
- neuroglancer
- volumetric-data
- python
- cloud
OM#: Visual Programming | Computer-assisted Music Compositon