Pinned Repositories
BlackHole
C# RAT (Remote Administration Tool)
codebreak
Dofus 1.29 emulator written in C# including authservice, worldservice, rpc framework, tools and website
dhallidity
Experimental Dhall to EVM compiler
edk2-rs
TianoCore EDK2 bindings for Rust UEFI Applications
FastNet
.Net Core 2.0, C# High Performance Reactive Tcp Server
freeinmonads
Free. As in a Monad.
gns-rs
Valve GameNetworkingSockets Rust Wrapper
wakfu-src
Wakfu client sources
windows-kernel-rs
Windows Kernel Driver library for Rust developers
union
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
hussein-aitlahcen's Repositories
hussein-aitlahcen/gns-rs
Valve GameNetworkingSockets Rust Wrapper
hussein-aitlahcen/.spacemacs.d
Personnal Spacemacs configuration
hussein-aitlahcen/bls12_381
Implementation of the BLS12-381 pairing-friendly elliptic curve group
hussein-aitlahcen/boot
hussein-aitlahcen/cli
Cryptomator Command-Line Interface
hussein-aitlahcen/cometbft
hussein-aitlahcen/composable
Infrastructure for cross-chain applications
hussein-aitlahcen/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
hussein-aitlahcen/cw-ics721
CosmWasm IBC NFT Transfers
hussein-aitlahcen/cw-nfts
Examples and helpers to build NFT contracts on CosmWasm
hussein-aitlahcen/Dossier-Facile-Frontend
hussein-aitlahcen/explorer
A light explorer for Cosmos-based Blockchains.
hussein-aitlahcen/folding-schemes
hussein-aitlahcen/Game-Client-Tools
Several tools for game clients (Blizzard) reverse engineering.
hussein-aitlahcen/gnark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
hussein-aitlahcen/gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
hussein-aitlahcen/gnark-lean-extractor
A tool to extract gnark circuits defined in Go to Lean for formal verification.
hussein-aitlahcen/go-mcl
Wrapper around herumi/mcl in Go, with dependency on herumi/mcl
hussein-aitlahcen/ibc-go
Interblockchain communication protocol (IBC) implementation in Golang.
hussein-aitlahcen/iciclegnark
hussein-aitlahcen/NixVirt
LibVirt domain management for Nix
hussein-aitlahcen/open-runtime-module-library
Substrate Open Runtime Module Library
hussein-aitlahcen/purescript-backend-optimizer
Optimizing backend toolkit and modern ECMAScript backend for PureScript
hussein-aitlahcen/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
hussein-aitlahcen/sei-chain
hussein-aitlahcen/sei-tendermint
Tendermint fork with ABCI++ support, bug fixes, and custom features
hussein-aitlahcen/SmmLoader
Smm module loader
hussein-aitlahcen/substrate
Substrate: The platform for blockchain innovators
hussein-aitlahcen/subxt
Submit extrinsics (transactions) to a substrate node via RPC
hussein-aitlahcen/yui-ibc-solidity
IBC in Solidity