An implementation of task/event based asynchronous pattern.
Repository Index
78,851 visible repositories in the index
217–240 of 970 · Most stars
Highly-available Distributed Fault-tolerant Runtime
- fault-tolerance
- rust
- rust-language
- supervision
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
Converts a string to a slug. Includes integrations for Symfony, Silex, Laravel, Zend Framework 2, Twig, Nette and Latte.
- php
- twig
- slugify
- symfony
The missing Java distribution of native C++ libraries
- javacpp-presets
- java
- android
- native-libraries
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
Functional extensions for C#
- csharp
- entity
- functional-programming
- maybe-monad
:boom::computer::boom: A data-parallel functional programming language
Rust for native business logic, Flutter for flexible and beautiful GUI
A Fast, Open Source JavaScript, Canvas & Audio Implementation for iOS
Starlark in Go: the Starlark configuration language, implemented in Go
The Flix Programming Language
- flix
- language
- hacktoberfest
- functional
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 correct and efficient TypeScript type checker and compiler with additional experiments
- compiler
- javascript
- typescript
- typechecker
Go bindings to systemd socket activation, journal, D-Bus, and unit files
- go
- systemd
- journald
- machined
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
A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
- jit-compiler
- compiler
- interpreter
- intermediate-representation
Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.
- java
- eclipse-collections
- java-collections
- collections
Option Type for PHP