Highlights
Lists (1)
Sort Name ascending (A-Z)
- All languages
- AsciiDoc
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Circom
- Clojure
- CodeQL
- Coq
- Cuda
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F*
- Fennel
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Io
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Max
- Mojo
- Nearley
- Nim
- Nix
- OCaml
- PHP
- Perl
- Prolog
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Sass
- Scala
- Shell
- Smarty
- Solidity
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TLA
- TeX
- Thrift
- Tree-sitter Query
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vim Snippet
- Vue
- Vyper
- WebAssembly
- Wikitext
- Zig
- eC
- hoon
- reStructuredText
Starred repositories
Resumes generated using the GitHub informations
x86 PC emulator and x86-to-wasm JIT, running in the browser
A web-based collaborative LaTeX editor
This repository is outdated and new Boost Note app is available! We've launched a new Boost Note app which supports real-time collaborative writing. https://github.com/BoostIO/BoostNote-App
The goal of this project is to enable users to create cool web demos using the newly released OpenAI GPT-3 API with just a few lines of Python.
zkSNARK implementation in JavaScript & WASM
Browser extension - Get notified about new GitHub notifications
Ethereum peer-to-peer networking specifications
The Best Practices for OSS Developers working group is dedicated to raising awareness and education of secure code best practices for open source developers.
The original wiki rewritten as a single page application
(Formerly Solium) Code quality & Security Linter for Solidity
Desktop client for Cabal, the p2p/decentralized/local-first chat platform.
Super secret 100% practical EVM course. Please do not share
A factory contract for creating metamorphic (i.e. redeployable) contracts.
Terminal client for Cabal, the p2p chat platform.
a globally-accessible knowledge base of adversary tactics and techniques based on real-world observations on decentralized finance
Basic Solidity Contracts and Libraries to make life easier
Official repository for specifications for the Portal Network
Cross-Browser Plugin to open Sci-Hub 🗝 page with the article from your current tab
Middleware to compile Circom circuits to Nova prover
UserScript that enhances the GitHub Notifications
Flash loan liquidation bot for compound.finance
Interactive playground for exploring and sharing TLA+ specifications in the browser.
Convert natural language to LaTeX within Overleaf using LLMs