An implementation of task/event based asynchronous pattern.
Repository Index
77,852 visible repositories in the index
193–216 of 950 · Most stars
.NET for iOS, Mac Catalyst, macOS, and tvOS provide open-source bindings of the Apple SDKs for use with .NET managed languages such as C#
Embed Python in Unreal Engine 4
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Postmodern immutable and persistent data structures for C++ — value semantics at scale
- immutable
- data-structures
- modern-cpp
- cpp14
A statically typed language compatible with Python
- compiler
- programming-language
- python
- rust
A fast, feature-rich static code analyzer & language server for Python
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
The repository host gives no description.
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
:boom::computer::boom: A data-parallel functional programming language
Parser Building Toolkit for JavaScript
- javascript
- typescript
- parser-library
- parsing
Container to WASM converter
Io programming language. Inspired by Self, Smalltalk and LISP.
A Fast, Open Source JavaScript, Canvas & Audio Implementation for iOS
Starlark in Go: the Starlark configuration language, implemented in Go
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
- cpp
- await
- async-await
- executor-service
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
- java
- intellij
- json
- template-engine
Implementation of Python 3.x for .NET Framework that is built on top of the Dynamic Language Runtime.
- ironpython
- dlr
- c-sharp
- python
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction
- programming-model
- parallel-computing
- c-plus-plus
- abstraction
A C++ library of Concurrent Data Structures
- lock-free
- containers
- hazard-pointer
- rcu
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
JSONata query and transformation language - http://jsonata.org
Python with braces. Because python is awesome, but whitespace is awful.
- python
- whitespace
- braces
- indentation