HyunggyuJang

HyunggyuJang's Stars

• jasmin-lang/jasmin

  Language for high-assurance and high-speed cryptography

  Language:Coq26855

• DioxusLabs/dioxus

  Fullstack app framework for web, desktop, mobile, and more.

  Language:Rust21.5k828

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig34.9k2.5k

• ejgallego/coq-lsp

  Visual Studio Code Extension and Language Server Protocol for Coq

  Language:OCaml15231

• UCSD-PL/proverbot9001

  Language:Coq3917

• agda/cubical

  An experimental library for Cubical Agda

  Language:Agda459139

• princeton-vl/CoqGym

  A Learning Environment for Theorem Proving with the Coq proof assistant

  Language:Coq38550

• m-fleury/isabelle-emacs

  Clone of isabelle, with LSP extensions in seperate branches

  Language:Isabelle255

• ohmjs/ohm

  A library and language for building parsers, interpreters, compilers, etc.

  Language:JavaScript5k217

• esy/esy

  package.json workflow for native development with Reason/OCaml

  Language:Reason84693

• jscoq/jscoq

  A port of Coq to Javascript -- Run Coq in your Browser

  Language:TypeScript51543

• jscoq/jscoq.github.io

  jsCoq Public Website

  Language:Coq41

• web3labs/ink-verifier-server

  Server for Ink! source code verification

  Language:TypeScript93

• GoogleChrome/lighthouse

  Automated auditing, performance metrics, and best practices for the web.

  Language:JavaScript28.4k9.4k

• EasyCrypt/easycrypt

  EasyCrypt: Computer-Aided Cryptographic Proofs

  Language:OCaml31949

• kiranandcode/emacs-viewer

  A web frontend for your Org-files (100% faithful to GNU+Emacs!)

  Language:Common Lisp118

• pancakeswap/pancake-frontend

  :pancakes: Pancake main features (farms, pools, IFO, lottery, profiles)

  Language:TypeScript2.7k3.5k

• AstarNetwork/wasm-showcase-dapps

  Language:Rust8

• zsa/wally

  The Flash(ing tool)

  Language:Go67368

• qmk/qmk_firmware

  Open-source keyboard firmware for Atmel AVR and Arm USB families

  Language:C18.3k39.4k

• danymat/lsp-zettelkasten

  Barebone implementation of a Language Server Protocol for Zettelkasten

  Language:TypeScript181

• elken/exercism-modern

  A modern interface to exercism

  Language:Emacs Lisp171

• HyunggyuJang/SICP

  SICP with Proof

  Language:Scheme61

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k193

• inkdevhub/swanky-cli

  The all-in-one developer environment for Parity pallet-contracts based smart contracts!

  Language:TypeScript7029

• tezos-checker/segmented-cfmm

  segmented-cfmm

  Language:Haskell2310

• foundry-rs/foundry

  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

  Language:Rust8.3k1.8k

• faif/python-patterns

  A collection of design patterns/idioms in Python

  Language:Python40.5k6.9k

• pirapira/pirapira.github.io

  Language:HTML1

• poanetwork/vdf

  An implementation of Verifiable Delay Functions in Rust

  Language:Rust17553