李拯先 (cookieli)

cookieli

Geek Repo

Company:Peking University

Location:Beijing

Home Page:https://cookieli.github.io/blog/

Github PK Tool:Github PK Tool

李拯先's repositories

SVG_Drawer

It's a software which can draw svg files

Language:CStargazers:1Issues:2Issues:0
Stargazers:0Issues:1Issues:0

2048.cpp

🎮 Fully featured terminal version of the game "2048" written in C++

Language:C++License:MITStargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:0Issues:0

blog

It'my blog

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

bril

an educational compiler intermediate representation

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0
Language:MakefileLicense:MITStargazers:0Issues:0Issues:0

compiler_for_tiny_c

it is a compiler for a tiny c language

Language:JavaStargazers:0Issues:1Issues:0

CppTemplateTutorial

中文的C++ Template的教学指南。与知名书籍C++ Templates不同,该系列教程将C++ Templates作为一门图灵完备的语言来讲授,以求帮助读者对Meta-Programming融会贯通。(正在施工中)

Language:C++Stargazers:0Issues:1Issues:0

Enzyme

High-performance automatic differentiation of LLVM.

Language:LLVMLicense:NOASSERTIONStargazers:0Issues:1Issues:0

image

A image storehouse for my blog

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

Lambda_interpreter

Write a lambda interpreter in Ocaml

Language:OCamlStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:2Issues:0

LiVM

a java virtual machine

Language:C++Stargazers:0Issues:2Issues:0

llvm-pass-skeleton

example LLVM pass

License:MITStargazers:0Issues:0Issues:0

memory-allocators

Custom memory allocators in C++ to improve the performance of dynamic memory allocation

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

MMdnn

MMdnn is a set of tools to help users inter-operate among different deep learning frameworks. E.g. model conversion and visualization. Convert models between Caffe, Keras, MXNet, Tensorflow, CNTK, PyTorch Onnx and CoreML.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

OI_programming

OI program

Language:C++Stargazers:0Issues:2Issues:0

opencilk-project

Monorepo for the OpenCilk project. Under development. Runtime "sold" separately.

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

parallel_computing

Some project about parallel_computing

Language:C++Stargazers:0Issues:2Issues:0

PL_theory

It's about pl theory learning

Language:RustStargazers:0Issues:2Issues:0

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

Language:CLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

revery

:zap: Native, high-performance, cross-platform desktop apps - built with Reason!

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

rlu

Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming

Language:CLicense:MITStargazers:0Issues:1Issues:0

rust

Empowering everyone to build reliable and efficient software.

License:NOASSERTIONStargazers:0Issues:0Issues:0

talent-plan

PingCAP training courses

Language:RustStargazers:0Issues:1Issues:0

Tapir-LLVM

Tapir extension to LLVM for optimizing Parallel Programs

Language:LLVMLicense:NOASSERTIONStargazers:0Issues:1Issues:0

terrier

You know what this is...

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

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

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