wyjw

wyjw's Stars

• ocornut/imgui

  Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

  Language:C++57.9k1k5.8k9.9k

• quilljs/quill

  Quill is a modern WYSIWYG editor built for compatibility and extensibility.

  Language:TypeScript41.7k4813.5k3.3k

• ajaxorg/ace

  Ace (Ajax.org Cloud9 Editor)

  Language:JavaScript26.5k6173.1k5.3k

• iced-rs/iced

  A cross-platform GUI library for Rust, inspired by Elm

  Language:Rust23.4k1931k1.1k

• makepad/makepad

  Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl

  Language:WebAssembly5k90127235

• benjamn/recast

  JavaScript syntax tree transformer, nondestructive pretty-printer, and automatic source map generator

  Language:TypeScript4.9k49406344

• eclipse-openj9/openj9

  Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.

  Language:Java3.2k1488k713

• unikraft/unikraft

  A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

  Language:C2.5k373191.5k

• nebulet/nebulet

  A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

  Language:Rust2.3k1252775

• microsoft/CodeBERT

  CodeBERT

  Language:Python2.1k36297431

• egraphs-good/egg

  egg is a flexible, high-performance e-graph library

  Language:Rust1.3k23130127

• pr0g/cmake-examples

  A collection of as simple as possible, modern CMake projects

  Language:CMake1.1k33668

• iovisor/ubpf

  Userspace eBPF VM

  Language:C78231125129

• facebook/SPARTA

  SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

  Language:C++61127450

• trailofbits/polytracker

  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

  Language:C++5113815546

• pycket/pycket

  A rudimentary Racket implementation using RPython

  Language:Python2551727325

• aengelke/instrew

  A high performance LLVM-based dynamic binary instrumentation framework

  Language:C22312836

• koka-lang/libhandler

  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

  Language:C18091014

• generic-ebpf/generic-ebpf

  Generic eBPF runtime

  Language:C14618512

• dataspread/dataspread-web

  Language:Java1341512030

• koka-lang/libmprompt

  Robust multi-prompt delimited control and effect handlers in C/C++

  Language:C1045711

• vmware-archive/hillview

  Big data spreadsheet

  Language:Java1031327929

• intel/pinball2elf

  Language:C++3281111

• staticafi/sbt-instrumentation

  Configurable instrumentation of LLVM bitcode

  Language:C++3182612

• vrthra/mimid

  Replication package for Mining Input Grammars From Dynamic Control Flow

  Language:Jupyter Notebook21518

• uwplse/reincarnate-aec

  Reincarnate Artifact for ICFP 2018

  Language:JavaScript13702

• bblum/landslide

  stateless model checking for thread libraries, kernels, and transactional memory

  Language:C92121

• davidbrazdil/minsfi-llvm

  Language:C++3200

• rinspect/rinspect

  Tools for dynamically verifying programs under TSO/PSO memory model

  Language:C++33

• wyjw/cseem

  Cache Simulator

  Language:C++1100