repos
43
ecosystems
19
languages
7
commits
1,817
─── top repos · by commits
─── repositories
43 totalK Framework Tools 7.0
K Framework Tools 5.0
Simple high-level language for writing Internet Computer canisters
Simple high-level language for writing Internet Computer canisters
Simple high-level language for writing Internet Computer canisters
Simple high-level language for writing Internet Computer canisters
Simple high-level language for writing Internet Computer canisters
Empowering everyone to build reliable and efficient software.
IC Interface Specification
Haskell port of the WebAssembly OCaml reference interpreter
Candid Library for the Internet Computer
Candid Library for the Internet Computer
Candid Library for the Internet Computer
Candid Library for the Internet Computer
Candid Library for the Internet Computer
A haskell toolbox for the Internet Computer
A work-in-progress PureScript to Plutus Core compiler
Standalone JIT-style runtime for WebAssembly, using Cranelift
Experiments with PureScript parser in order to extract a KAST
A fast and secure runtime for WebAssembly
Standalone JIT-style runtime for WebAssembly, using Cranelift
A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols
Optimizer and compiler/toolchain library for WebAssembly
The original Motoko base library (replaced by `core`)
☝️send desktop notifications from your Rust app.
The Motoko base library
An easy and powerful Rust HTTP Client
Low level tooling for WebAssembly in Rust
Parser for Rust source code
The Motoko base library
The Motoko base library
The Motoko base library
Low level tooling for WebAssembly in Rust
An easy and powerful Rust HTTP Client
An easy and powerful Rust HTTP Client
Low level tooling for WebAssembly in Rust
CLI and Rust libraries for low-level manipulation of WebAssembly modules
─── peer developers
─── ecosystems
─── languages
- Rust18
- Haskell5
- Motoko4
- OCaml3
- Java2
- Python1
- WebAssembly1
─── subscriber view
Unlock the full view of osa1
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.