Intel® Implicit SPMD Program Compiler
- ispc
- programming-language
- compiler
- intel
Repository Index
79,350 visible repositories in the index
145–168 of 496 · Most stars
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
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
Beef Programming Language
- programming-language
- compiler
- ide
- beef-language
A statically typed language compatible with Python
- compiler
- programming-language
- python
- rust
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
The Lobster Programming Language
Functional extensions for C#
- csharp
- entity
- functional-programming
- maybe-monad
:boom::computer::boom: A data-parallel functional programming language
Io programming language. Inspired by Self, Smalltalk and LISP.
Set of preconfigured snippets for different languages.
- snippets
- friendly-snippets
- languages
- programming-languages
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
- cpp
- await
- async-await
- executor-service
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
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction
- programming-model
- parallel-computing
- c-plus-plus
- abstraction
A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
An embedded scheme interpreter in Rust
- rust
- racket
- transducers
- scripting-language
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
Go bindings for raylib, a simple and easy-to-use library to enjoy videogames programming.
- game-engine
- raylib
- android
- rpi
`std::execution`, the standard C++ framework for asynchronous and parallel programming.
🦋 Fantasy Land compliant (monadic) alternative to Promises
- fantasy-land
- promise
- future
- monad
(No longer maintained) A faster and highly-compatible implementation of the Python programming language.
Python library for creating data pipelines with chain functional programming
- python
- datascience
- pipeline
- data