The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Repository Index
47,133 repositories indexed
1–24 of 39 · Most stars
A lightweight C++ base library with Go-style coroutines.
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
An async control-flow library that makes stepping through logic easy.
Next generation API for .NET
- reflection
- raft
- raft-consensus
- raft-consensus-algorithm
🦄 The Enterprise™ programming language
- enterprise
- disruptive-technology
- language
- ajax
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
A collection of ROM images with tests that will aid you in developing your own CHIP-8, SUPER-CHIP or XO-CHIP interpreter (or "emulator")
- chip-8
- chip-8-emulator
- chip-8-interpreter
- chip-8-roms
The only reasonable scripting engine for Go.
- interpreter
- prolog
- golang
- go
aiomisc - miscellaneous utils for asyncio
- asyncio
- miscellaneous
- server-client
- service
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
More up-to-date version of cl-charms. Forked it because it was, apparently, abandoned by author and I couldn't contact him.
PAthological QUpath Obsession - QuPath and Python conversations
- digital-pathology
- qupath
- python
Clojure wrapper for Encog (v3) (Machine-Learning framework that specialises in neural-nets)
Persistent sorted maps and sets with log-time rank queries
Use any web browser as GUI, with V in the backend and modern web technologies in the frontend.
- browser
- javascript
- webui
- vwebui
A refined core library for D programming language. The module has concurrency / collections / event / io / logging / text / serialization and more.
- event-driven
- asynchronous
- io
- concurrency
High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Simple internal application messaging for Delphi
- dpmpackage
- delphi
- vsoft
- vcl