Tesla Zhang‮ (ice1000)

ice1000

Geek Repo

Company:@plctlab

Location:Pennsylvania, Gensokyo

Home Page:https://ice1000.org

Github PK Tool:Github PK Tool


Organizations
agda
arend-lang
aya-prover
devkt-plugins
EmmyLua
ice1k
JuliaEditorSupport
owo-lang
pest-parser

Tesla Zhang‮'s starred repositories

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:29368Issues:82Issues:2165

dust

A more intuitive version of du in rust

Language:RustLicense:Apache-2.0Stargazers:7966Issues:34Issues:174

lwjgl3

LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUDA) and XR (OpenVR, LibOVR, OpenXR) applications.

Language:JavaLicense:BSD-3-ClauseStargazers:4643Issues:159Issues:785

annotated_latex_equations

Examples of how to create colorful, annotated equations in Latex using Tikz.

Language:TeXLicense:MITStargazers:3714Issues:37Issues:3

Celeste

Celeste Bugs & Issue Tracker + some Source Code

Icalingua-plus-plus

A client for QQ and more. :electron:

Language:TypeScriptLicense:AGPL-3.0Stargazers:3262Issues:12Issues:618

enkiTS

A permissively licensed C and C++ Task Scheduler for creating parallel programs. Requires C++11 support.

Language:C++License:ZlibStargazers:1647Issues:58Issues:83

robovm

Ahead of time compiler for JVM bytecode targetting iOS, Mac OSX and Linux

gdx-texture-packer-gui

A simple way to pack and manage texture atlases for libGDX game framework.

Language:JavaLicense:Apache-2.0Stargazers:577Issues:23Issues:125

gdx-liftoff

A modern setup tool for libGDX Gradle projects

Language:KotlinLicense:Apache-2.0Stargazers:461Issues:20Issues:89

steamworks4j

A thin Java wrapper to access the Steamworks API

Language:JavaLicense:MITStargazers:457Issues:34Issues:111

box2c

Library for 2D Game Physics

typst-theorems

An implementation of numbered theorem environments in typst

Language:TypstLicense:MITStargazers:178Issues:3Issues:23

clippy

Multifunctional Windows productivity tool for programmers and other power users

Language:CLicense:BSD-3-ClauseStargazers:125Issues:19Issues:27

biblatex

A Rust crate for parsing and writing BibTeX and BibLaTeX files.

Language:RustLicense:Apache-2.0Stargazers:119Issues:5Issues:26

textratypist

Augmented text display system for libGDX, based on typing-label

Language:JavaLicense:Apache-2.0Stargazers:86Issues:6Issues:11

classfile

A modern Java classfile manipulation and analysis library

Language:JavaLicense:GPL-2.0Stargazers:49Issues:2Issues:1

LunarGdx

A networking library for LibGDX utilizing Netty allowing easy creation of multiplayer games.

Language:JavaLicense:MITStargazers:48Issues:4Issues:14

synthetic-zariski

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos

Language:TeXLicense:MITStargazers:45Issues:17Issues:17

gdx-imgui

Java imgui binding for libgdx

Language:C++License:Apache-2.0Stargazers:35Issues:3Issues:1

fmod-jni

Java JNI wrapper for the FMOD audio library. Experimental and Incomplete.

typst-experiment

Some experimental Typst files.

Stargazers:14Issues:0Issues:0

digital

Utilities for handling math and showing numbers in Java.

Language:JavaLicense:Apache-2.0Stargazers:14Issues:4Issues:0

gdx-box2d

The libGDX Box2D Wrapper Extension

Language:C++License:Apache-2.0Stargazers:12Issues:16Issues:0

forest

My forest.

Language:ShellStargazers:8Issues:4Issues:0

litiengine-ldjam46

This game was made within 72 hours for LDJAM 46.

Language:JavaLicense:MITStargazers:6Issues:2Issues:1
Language:OCamlStargazers:6Issues:0Issues:0
Language:AgdaStargazers:3Issues:0Issues:0