An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Repository Index
77,852 visible repositories in the index
289–312 of 950 · Most stars
一套把React Native代码转换成微信小程序代码的转换引擎工具。我们不造轮子，不发明新框架，只是提供工具把RN扩展到微信小程序端。
- react
- alita
- react-native
- redux
Git to Go; bindings for libgit2. Like McDonald's but tastier.
- libgit2
- git2go
🔥 Insanely fast native C++, Swift or Kotlin modules with a statically compiled binding layer to JSI
- cpp
- jsi
- kotlin
- library
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
- systemverilog
- lexer
- yacc
- syntax-tree
A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree
Next generation API for .NET
- reflection
- raft
- raft-consensus
- raft-consensus-algorithm
Compiler for multiple programming models (SYCL, C++ standard parallelism, HIP/CUDA) for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous programming models. Lets applications adapt themselves to all the hardware in the system - even at runtime!
- sycl
- gpgpu
- high-performance
- gpu-computing
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.
- code-analysis
- code-transformation
- metaprogramming
- code-generation
venom - C2 shellcode generator/compiler/handler
- metasploit
- msfvenom
- shellcode
- compiler
JS engine lolz
- data-oriented-design
- javascript
- javascript-engine
The project where literally anything* goes.
- pypi
- html
- javascript
- python
A model checker for implementing distributed systems.
- model-checker
- distributed-systems
- actor-model
- paxos
Cairo is the first Turing-complete language for creating provable programs for general computation.
- starknet
- zero-knowledge-proofs
- zkp
- computational-integrity
Take a modern Python codebase to the next level of performance.
- python
- python3
- multiprocessing
- asyncio
A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility
Promise + progress + pause + cancel + retry for Swift.
An open source flash player implementation
A low footprint JavaScript engine for embedded systems
- js
- javascript
- engine
- embedded
C++14 concurrent lock-free low-latency queue.
C++11/14/17 std::expected with functional-style extensions
WHATWG-compliant and fast URL parser written in modern C++, part of Internet Archive, Node.js, Clickhouse, Redpanda, Kong, Telegram, Adguard, Datadog and Cloudflare Workers.
- cpp
- parser
- url
- performance
Efficient, Immutable, Thread-Safe Collection classes for Ruby