Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
Repository Index
85,578 visible repositories in the index
193–216 of 926 · Most stars
Run multiple promise-returning & async functions with limited concurrency
VHDL 2008/93/87 simulator
- vhdl
- ghdl
- simulator
- testbench
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
Postmodern immutable and persistent data structures for C++ — value semantics at scale
- immutable
- data-structures
- modern-cpp
- cpp14
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!
The missing Java distribution of native C++ libraries
- javacpp-presets
- java
- android
- native-libraries
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
Provides an engine that can compile and evaluate expressions
Functional extensions for C#
- csharp
- entity
- functional-programming
- maybe-monad
Parser Building Toolkit for JavaScript
- javascript
- typescript
- parser-library
- parsing
Rust for native business logic, Flutter for flexible and beautiful GUI
Easily run code asynchronously
- php
- performance
- async
- await
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
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+.
Goodbye CoffeeScript, hello JavaScript!
- coffeescript
- conversion
- decaffeinate
A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
Compile shell scripts to static binaries.
Useful extensions to the standard Python datetime features
- python
- datetime
- time
- timezones
The lcc retargetable ANSI C compiler
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
- clang
- cpp
- c
- clang-tidy