CharlesAverill

CharlesAverill's Stars

• compiler-explorer/compiler-explorer

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

  Language:TypeScript16.4k2513.3k1.7k

• tiangolo/typer

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

  Language:Python15.1k76324643

• adam-maj/tiny-gpu

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

  Language:SystemVerilog7.1k6724533

• N64Recomp/N64Recomp

  Tool to statically recompile N64 games into native executables

  Language:C++6.4k10767363

• CTFd/CTFd

  CTFs as you need them

  Language:Python5.7k1161.2k2.1k

• charmbracelet/freeze

  Generate images of code and terminal output 📸

  Language:Go3.4k56858

• qntm/base65536

  Unicode's answer to Base64

  Language:JavaScript2.1k271556

• objectionary/eo

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

  Language:Java1k361.7k128

• ocsigen/js_of_ocaml

  Compiler from OCaml to Javascript.

  Language:OCaml95939676188

• zeldaret/tp

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

  Language:C++865221.5k84

• skeeto/hash-prospector

  Automated integer hash function discovery

  Language:C686272327

• RetroReversing/retroReversing

  Awesome website for reverse engineering retro games:

  Language:JavaScript4382013208

• coq-community/awesome-coq

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

  314141220

• vivaansinghvi07/dreamberd-interpreter

  Interpreter for the perfect programming language

  Language:Python2927194

• math-comp/analysis

  Mathematical Components compliant Analysis Library

  Language:Coq2061836647

• ocaml/setup-ocaml

  GitHub Action for the OCaml programming language

  Language:TypeScript197815038

• open-ead/sead

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

  Language:C++190128426

• coq/platform

  Multi platform setup for Coq, Coq libraries and tools

  Language:Shell188820349

• triska/clpfd

  Constraint Logic Programming over Finite Domains

  Language:Prolog1699111

• coq/opam

  Archive for all Coq related OPAM packages organized in various repositories

  Language:OCaml12419130165

• ShironekoBen/superrt

  A realtime raytracing extension chip for the SNES

  Language:C#102405

• cisagov/parsnip

  Language:Python67629

• 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:Rust2200

• nhukc/pricemaster

  The PriceMaster has spoken!

  Language:Python2200

• democat3457/mips-wordle

  Language:Assembly1100

• iniyanijoseph/Cake-Cutting

  Language:TeX1100

• nhukc/tile-based-vr-terrain

  A tile-based terrain system designed for VR games

  Language:JavaScript1100