Lists (18)
Sort Name ascending (A-Z)
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Cairo
- Chapel
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Elixir
- Erlang
- F#
- F*
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mojo
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- Pug
- Python
- Q#
- Racket
- Reason
- RobotFramework
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- Svelte
- Swift
- TeX
- TypeScript
- Verilog
- Vue
- WebAssembly
- Wikitext
- Zig
- hoon
- q
Starred repositories
Scalable and user friendly neural 🧠 forecasting algorithms.
The new approach for reseaching, collaborating and publishing information using cybergraphs
Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.
Build and query dynamic, temporally-aware Knowledge Graphs
Cosmwasm contracts and packages for DEEP Protocol
🎵 A simple, clean and cross-platform music player
Nimble Commander - dual-pane file manager for Mac
Orochi Network monorepo of its full-node client
Rust implementation for Verkle tree.
An example ABCI application making use of tendermint-rs and ibc-rs
Cairo is the first Turing-complete language for creating provable programs for general computation.
A framework for generalized shielded state transitions
A Virtual Machine for Zero-Knowledge Executions
CosmWasm Contracts for Skip Go
Rust client framework for interacting with CometBFT
This is a CosmWasm implementation of an ICS-27 interchain accounts controller.
😎 Curated list of tools, contracts, and projects working with CosmWasm
A cron expression parser, adapted to work in blockchain environments