🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Repository Index
89,073 visible repositories in the index
97–120 of 751 · Most stars
A lightweight dynamic thread pool framework with built-in monitoring and alerting, unified third-party thread pool management, and support for popular configuration centers (Nacos, Apollo, Zookeeper, Consul, and Etcd), extensible via SPI。
- java
- dynamic-threadpool
- spring
- nacos
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby / Rust
- reverse-engineering
- protocol-analyser
- file-format
- declarative-language
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
- erlang
- golang
- elixir
- supervisor
esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.
GNU toolchain for RISC-V, including GCC
Borgo is a statically typed language that compiles to Go.
- compiler
- golang
- programming-language
- rust-lang
A high-performance non-blocking I/O networking framework focusing on RPC scenarios.
- rpc
- golang
- network-programming
- net
CircuitPython - a Python implementation for teaching coding with microcontrollers
- circuitpython
- micropython
- python
- embedded
a thread-safe concurrent map for go
- golang
- go
- concurrency
- map
A non-blocking concurrency framework for PHP applications. 🐘
- php
- async
- coroutines
- promises
Build, bundle & ship your Rust WASM application to the web.
- rust
- wasm
- bundler
- assets
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
- fsharp
- compiler
- visual-studio
- netcore
Promise queue with concurrency control
- queue
- queue-data-stucture
- async-functions
- async-queue
A functional tool-belt for Swift Language similar to Lo-Dash or Underscore.js in Javascript
- swift
- dollar
- xcode
- swift-language
A tool (and pre-commit hook) to automatically upgrade syntax for newer versions of the language.
- python
- pre-commit
- linter
A library for calling C functions from Go without Cgo
- cgo
- go
- golang
- purego
Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️
Rust bindings for the V8 JavaScript engine
- v8
- rust
A goroutine pool for Go
- workers
- goroutine-pool
- golang
- go
A retargetable MLIR-based machine learning compiler and runtime toolkit.
- mlir
- vulkan
- tensorflow
- spirv
Automated mass refactoring of source code.
- java
- ast
- abstract-syntax-tree
- refactoring
C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)
A parser library for Go