seanwestfall

seanwestfall's Stars

• charlax/professional-programming

  A collection of learning resources for curious software engineers

  Language:Python46.8k988283.7k

• SerenityOS/serenity

  The Serenity Operating System 🐞

  Language:C++30.8k3524.2k3.2k

• samber/lo

  💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)

  Language:Go18.1k79215831

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.5k103189405

• nostr-protocol/nostr

  a truly censorship-resistant alternative to Twitter that has a chance of working

  10.2k2090331

• below/HelloSilicon

  An introduction to ARM64 assembly on Apple Silicon Macs

  Language:Assembly4.4k5118295

• farcasterxyz/protocol

  Specification of the Farcaster Protocol

  2k5121278

• brownplt/pyret-lang

  The Pyret language.

  Language:JavaScript1.1k431.4k111

• jonaschn/awesome-he

  ✨ Awesome - A curated list of amazing Homomorphic Encryption libraries, software and resources

  1.1k47484

• a16z/awesome-farcaster

  A collection of awesome Farcaster links including clients, tools, and more.

  767318157

• microsoft/Spartan

  Spartan: High-speed zkSNARKs without trusted setup

  Language:Rust6971737122

• lucanaef/PGPro

  OpenPGP En- & Decryption App for iOS

  Language:Swift3832012335

• fiatjaf/nos2x

  nostr signer extension

  Language:JavaScript29683864

• robdelacruz/lkwebserver

  Little Kitten Webserver

  Language:C277449

• Cyfrin/foundry-defi-stablecoin-cu

  Language:Solidity2549947121

• xclud/web3dart

  Ethereum library, written in Dart.

  Language:Dart183911396

• agda/cornelis

  agda-mode for neovim

  Language:Haskell13579923

• delegatable/delegatable-eth

  A solidity framework for extending any contract with counterfactual revocable-delegation. https://roamresearch.com/#/app/capabul/page/cnW_23H8w

  Language:CSS9861413

• alhassy/gentle-intro-to-reflection

  A slow-paced introduction to reflection in Agda. ---Tactics!

  Language:Agda96609

• natefaubion/example-functional-compiler

  Language:PureScript59775

• futrnostr/futr

  nostr client app written in haskell and qt5

  Language:Haskell564202

• paradigmxyz/fig

  Guidelines & best practices for developing Frames: https://www.figma.com/community/file/1367670879509913267/frame-interface-guidelines

  55412

• sdtsui/awesome-stablecoins

  Curated list of stable cryptocurrency resources and projects

  551018

• haskell-text/text-display

  A Typeclass for user-facing output

  Language:Haskell5431013

• ramiomarouayache/Flutter-GroceryApp

  Flutter Grocery app

  Language:Dart452116

• anasfik/nostr

  Develop Scalable Dart/Flutter Nostr clients quickly and easily

  Language:Dart425612

• mbg/hindley-milner

  Template for Hindley-Milner based languages

  Language:Haskell39411

• net2devcrypto/Algorithmic-Stablecoin-ERC20

  🤑The Official ERC20 Algoritmic Stablecoin Project Tutorial Repo - Complete repo on how to deploy your own algorithmic stablecoin and back it with a hybrid collateral reserve between other stablecoins or cryptocurrencies.

  Language:Solidity13207

• hazae41/morax

  WebAssembly port of SHA-1, SHA-256, Keccak-256, RIPEMD-160, and CRC-32 hashing algorithms

  Language:TypeScript520

• WillowWisp/flutter_walletconnect_example

  Flutter WalletConnect Example

  Language:C++2200