KLEE Symbolic Execution Engine
- symbolic-execution
- klee
Repository Index
81,588 visible repositories in the index
337–360 of 1,489 · Most stars
Generate x86 Assembly with Go
- go
- golang
- assembly
- x86-64
Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.
- cli
- ffi
- rust
- serde
The Jakt Programming Language
- programming-language
- jakt
- serenityos
A minimalist bytecode compiler for Node.js
🪄 Magical GraphQL query engine for TypeScript
- graphql
- typescript
GCC Front-End for Rust
- gcc
- gcc-rust
- rust
- rust-lang
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
A project for generating C bindings from Rust code
The C++ Standard Library for Parallelism and Concurrency
- c-plus-plus
- distributed
- cross-platform
- parallelism
Node.js & Bun bindings for Zed’s GPUI. Build memory efficient native apps with React or Solid.js
Run multiple promise-returning & async functions with limited concurrency
VHDL 2008/93/87 simulator
- vhdl
- ghdl
- simulator
- testbench
An implementation of task/event based asynchronous pattern.
.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#
Python 3.9 to JavaScript compiler - Lean, fast, open!
- python
- browser
- transcrypt
- javascript
Highly-available Distributed Fault-tolerant Runtime
- fault-tolerance
- rust
- rust-language
- supervision
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
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
Html Agility Pack (HAP) is a free and open-source HTML parser written in C# to read/write DOM and supports plain XPATH or XSLT. It is a .NET code library that allows you to parse "out of the web" HTML files.
- htmlagilitypack
- xpath
- parse
- hap