Full stack AI software engineer
The Agda standard library
The leading WebAssembly Runtime supporting WASIX, WASI and Emscripten
Monads and popular FP abstractions, powered by Go 1.18+ Generics
Lightweight Durable Python Workflows
Dev tools, env vars, task runner
Capstone disassembly/disassembler framework
A strongly-typed language that compiles to JavaScript
Yao A low code engine to create web services and dashboard
LangChain for Go, the easiest way to write LLM-based programs in Go
The statistical language R compiled to WebAssembly via Emscripten
The IDE for competitive programming
A blazing fast multi-language serialization framework
Seamless operability between C++11 and Python
Go library for Datalog-style logical reasoning and domain modeling
AWS SDK for the Go programming language
Lighweight CLI to interact with MCP servers
Meta-programming for Swift, stop writing boilerplate code
Facilities for async programming and communication in Clojure
Distributed Workflow Engine for Microservices Orchestration
A Python library for quantum programming using Quil
Haskell to VHDL/Verilog/SystemVerilog compiler
UNIX-like reverse engineering framework and command-line toolset
Clean Architecture Modular Project: MVVM + Jetpack Compose
A new type of shell