soareschen
Follow
-
core-dev-challenge Public
Forked from qdrant/core-dev-challengeThis repository contains a challenge task for Core Rust Engineer position
Rust UpdatedAug 11, 2025 -
malachite Public
Forked from circlefin/malachiteFlexible BFT consensus engine in Rust
Rust Apache License 2.0 UpdatedMay 16, 2025 -
hermes Public
Forked from informalsystems/hermesIBC Relayer in Rust
Rust Apache License 2.0 UpdatedMay 16, 2025 -
quint Public
Forked from quint-co/quintAn executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript Apache License 2.0 UpdatedMay 16, 2025 -
cosmos.nix Public
Forked from informalsystems/cosmos.nixA reproducible package set for Cosmos, IBC and CosmWasm
Nix MIT License UpdatedMay 16, 2025 -
ibc-starknet Public
Forked from informalsystems/ibc-starknetIntegration of IBC with Starknet
Rust Apache License 2.0 UpdatedMay 16, 2025 -
hermes-sdk Public
Forked from informalsystems/hermes-sdkRust Apache License 2.0 UpdatedMay 12, 2025 -
risc0-hello-world Public
Hello world build in RiscZero with Nix support
-
-
catala Public
Forked from CatalaLang/catalaProgramming language for literate programming law specification
OCaml Apache License 2.0 UpdatedMay 4, 2021 -
cosmos-idris Public
Tendermint, IBC, and Cosmos Blockchain Specification in Idris
-
ai-economist Public
Forked from MaciejMacko/ai-economistFoundation is a flexible, modular, and composable framework to model socio-economic behaviors and dynamics with both agents and governments. This framework can be used in conjunction with reinforce…
Python BSD 3-Clause "New" or "Revised" License UpdatedDec 2, 2020 -
mixpanel Public
Forked from scrive/mixpanelHaskell BSD 3-Clause "New" or "Revised" License UpdatedJul 20, 2020 -
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedOct 4, 2019 -
hpqtypes Public
Forked from scrive/hpqtypesHaskell BSD 3-Clause "New" or "Revised" License UpdatedAug 30, 2019 -
web-platform-tests Public
Forked from web-platform-tests/wptTest suites for Web-platform specs — including WHATWG, W3C and others
HTML Other UpdatedDec 14, 2018 -
ws Public
Forked from websockets/wsSimple to use, blazing fast and thoroughly tested WebSocket client and server for Node.js
JavaScript MIT License UpdatedNov 30, 2018 -
oplss-haskell Public
https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php#Keller
-
-
jicofo Public
Forked from jitsi/jicofoJItsi COnference FOcus is a server side focus component used in Jitsi Meet conferences.
Java Apache License 2.0 UpdatedDec 12, 2017 -
-
fp-course Public
Forked from system-f/fp-courseFunctional Programming Course
Haskell UpdatedNov 10, 2017 -
-
-
-
-
-
sequest Public
Forked from mikeal/sequestSimplified API for SSH and SFTP similar to request.
JavaScript UpdatedOct 1, 2015 -