CharlesAverill

CharlesAverill's Stars

• compiler-explorer/compiler-explorer

  Run compilers interactively from your web browser and interact with the assembly

  Language:TypeScript15.6k2493.2k1.7k

• tiangolo/typer

  Typer, build great CLIs. Easy to code. Based on Python type hints.

  Language:Python14.8k76324635

• adam-maj/tiny-gpu

  A minimal GPU design in Verilog to learn how GPUs work from the ground up

  Language:SystemVerilog6.6k6420489

• CTFd/CTFd

  CTFs as you need them

  Language:Python5.4k1161.2k2k

• charmbracelet/freeze

  Generate images of code and terminal output 📸

  Language:Go2.8k66047

• qntm/base65536

  Unicode's answer to Base64

  Language:JavaScript2.1k271458

• ocsigen/js_of_ocaml

  Compiler from OCaml to Javascript.

  Language:OCaml94139662184

• objectionary/eo

  EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-calculus

  Language:Java934341.6k122

• zeldaret/tp

  Decompilation of The Legend of Zelda: Twilight Princess (GCN, USA)

  Language:Assembly785221.5k78

• skeeto/hash-prospector

  Automated integer hash function discovery

  Language:C659282226

• RetroReversing/retroReversing

  Awesome website for reverse engineering retro games:

  Language:JavaScript3971913200

• coq-community/awesome-coq

  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

  295141218

• vivaansinghvi07/dreamberd-interpreter

  Interpreter for the perfect programming language

  Language:Python208582

• ocaml/setup-ocaml

  GitHub Action for the OCaml programming language

  Language:TypeScript194812736

• math-comp/analysis

  Mathematical Components compliant Analysis Library

  Language:Coq1871932241

• open-ead/sead

  Decompilation of sead: the standard C++ library for first-party Nintendo games

  Language:C++181138423

• coq/platform

  Multi platform setup for Coq, Coq libraries and tools

  Language:Shell180819746

• triska/clpfd

  Constraint Logic Programming over Finite Domains

  Language:Prolog1639110

• coq/opam

  Archive for all Coq related OPAM packages organized in various repositories

  Language:OCaml12019129162

• ShironekoBen/superrt

  A realtime raytracing extension chip for the SNES

  Language:C#100405

• cisagov/parsnip

  Language:Python62708

• jwiegley/notes

  Language:Haskell45915

• Lysxia/advent-of-coq-2021

  Language:Coq38400

• SkySkimmer/coq-ltac2-compiler

  Language:OCaml5390

• nhukc/doublebox

  A parser and rasterizer for a visual-only natural language

  Language:Rust20

• nhukc/pricemaster

  The PriceMaster has spoken!

  Language:Python20

• xarkenz/icd-example

  Example compiler for Introduction to Compiler Design

  Language:Java2

• democat3457/mips-wordle

  Language:Assembly10

• iniyanijoseph/Cake-Cutting

  Language:TeX10

• nhukc/tile-based-vr-terrain

  A tile-based terrain system designed for VR games

  Language:JavaScript1100