Giters
Jia Chen (grievejia)

grievejia

Geek Repo

90

followers

5

following

57

stars

Company:Meta Inc.

Location:Menlo Park, CA

Home Page:https://grievejia.github.io

Github PK Tool:Github PK Tool

Jia Chen's starred repositories

stable-diffusion

A latent text-to-image diffusion model

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:66852Issues:0Issues:0

scalene

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

Language:PythonLicense:Apache-2.0Stargazers:11433Issues:0Issues:0

parsita

The easiest way to parse text in Python

Language:PythonLicense:MITStargazers:97Issues:0Issues:0

soupault

Static website generator based on HTML element tree rewriting

Language:OCamlLicense:MITStargazers:365Issues:0Issues:0

angstrom

Parser combinators built for speed and memory efficiency

Language:OCamlLicense:NOASSERTIONStargazers:627Issues:0Issues:0

TestSlide

A Python test framework

Language:PythonLicense:MITStargazers:144Issues:0Issues:0

lambda-py

Language:RacketLicense:NOASSERTIONStargazers:58Issues:0Issues:0

ott

The Ott tool for writing definitions of programming languages and calculi

Language:OCamlLicense:NOASSERTIONStargazers:330Issues:0Issues:0

wanderers

An open world adventure and dungeon crawling game

Language:OCamlLicense:GPL-3.0Stargazers:132Issues:0Issues:0

Forensic-Browser

A modified Firefox browser to log a series of JavaScript executions for fingerprinting detection

Stargazers:1Issues:0Issues:0

mbox

A lightweight sandbox tool for non-root users

Language:CStargazers:654Issues:0Issues:0

try-pollen

📔🌼 An example website/book created with Pollen.

Language:PerlLicense:NOASSERTIONStargazers:124Issues:0Issues:0

libnop

libnop: C++ Native Object Protocols

Language:C++License:NOASSERTIONStargazers:557Issues:0Issues:0

thenotepad

📓🍎An experimental blog written in Pollen / Racket

Language:PerlLicense:NOASSERTIONStargazers:77Issues:0Issues:0

spartan-type-theory

Spartan type theory

Language:OCamlLicense:MITStargazers:248Issues:0Issues:0

dune-starter

Simple template for midsize OCaml project

Language:OCamlLicense:UnlicenseStargazers:123Issues:0Issues:0

SpaceY

Landing rockets using deep reinforcement learning!

Language:ScalaStargazers:1Issues:0Issues:0

imgui

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

Language:C++License:MITStargazers:58289Issues:0Issues:0

nuklear

A single-header ANSI C gui library

Language:CStargazers:13670Issues:0Issues:0

android-classyshark

Android and Java bytecode viewer

Language:JavaLicense:Apache-2.0Stargazers:7500Issues:0Issues:0

Muse-CGH

Stylish Computer Generated Handwritings

Language:ScalaLicense:MITStargazers:136Issues:0Issues:0

Escher-Scala

Recursive Program Synthesis using input-output examples

Language:ScalaStargazers:7Issues:0Issues:0

smack

SMACK Software Verifier and Verification Toolchain

Language:CLicense:NOASSERTIONStargazers:428Issues:0Issues:0

ELINA

ELINA: ETH LIbrary for Numerical Analysis

Language:C++License:NOASSERTIONStargazers:129Issues:0Issues:0

ocamlformat

Auto-formatter for OCaml code

Language:OCamlLicense:MITStargazers:612Issues:0Issues:0

patterns

This is an experimental library that has evolved to P1371, proposed for C++23.

Language:C++License:BSL-1.0Stargazers:659Issues:0Issues:0

IncludeOS

A minimal, resource efficient unikernel for cloud services

Language:C++License:Apache-2.0Stargazers:4882Issues:0Issues:0

immer

Postmodern immutable and persistent data structures for C++ — value semantics at scale

Language:C++License:BSL-1.0Stargazers:2461Issues:0Issues:0

igraph

Library for the analysis of networks

Language:CLicense:GPL-2.0Stargazers:1700Issues:0Issues:0

dlib

A toolkit for making real world machine learning and data analysis applications in C++

Language:C++License:BSL-1.0Stargazers:13261Issues:0Issues:0