The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Repository Index
56,139 visible repositories in the index
1–21 of 21 · Most stars
Programming Language Theory λΠ
- programming-languages
- type-theory
- functional-programming
- category-theory
An async control-flow library that makes stepping through logic easy.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- language
- tlaplus
- quint
- apalache
A home for your business logic in any .NET application.
- csla
- windows-forms
- wpf
- blazor
Tools for transparent data transformation
- term-rewriting
- logic-programming
- unification
- pattern-matching
math and logic formula parser and evaluator
- formula
- calculator
- evaluate-expressions
- safeeval
The only reasonable scripting engine for Go.
- interpreter
- prolog
- golang
- go
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Use any web browser as GUI, with V in the backend and modern web technologies in the frontend.
- browser
- javascript
- webui
- vwebui
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic
Simple internal application messaging for Delphi
- dpmpackage
- delphi
- vsoft
- vcl
Creates a system where users are forced to login in dedicated independent docker containers.
- docker
- docker-image
- virtual-machine
- multiuser
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
The repository host gives no description.
Apache Kafka Ada client library, based off of librdkafka
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Abstractions and utilities to get rid of boilerplate code in business logic
- datastructures
- generic
- go
- golang
Zero-config, auto-scaling worker pool for Go with priority-aware scheduling, adaptive resource management, and per-task retry logic.
- async
- auto-scaling
- backpressure
- concurrency