Bulhwi Cha (chabulhwi)

chabulhwi

Geek Repo

Company:Semmalgil

Location:Seoul, Republic of Korea (South Korea)

Home Page:https://www.semmalgil.com

Github PK Tool:Github PK Tool


Organizations
semmalgil

Bulhwi Cha's starred repositories

ImHex

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Language:C++License:GPL-2.0Stargazers:41771Issues:475Issues:1113

manim

A community-maintained Python framework for creating mathematical animations.

Language:PythonLicense:MITStargazers:20176Issues:133Issues:1484

ungoogled-chromium

Google Chromium, sans integration with Google

Language:PythonLicense:BSD-3-ClauseStargazers:19874Issues:297Issues:2098

tantivy

Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust

Language:RustLicense:MITStargazers:11452Issues:143Issues:982

websocketpp

C++ websocket client/server library

Language:C++License:NOASSERTIONStargazers:6897Issues:317Issues:857

QR-Code-generator

High-quality QR Code generator library in Java, TypeScript/JavaScript, Python, Rust, C++, C.

libwebsockets

canonical libwebsockets.org networking library

Language:CLicense:NOASSERTIONStargazers:4674Issues:224Issues:2523

kdenlive

Free and open source video editor, based on MLT Framework and KDE Frameworks

Language:C++License:GPL-3.0Stargazers:2977Issues:81Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2853Issues:80Issues:2654

engine

Go 3D Game Engine (http://g3n.rocks)

Language:GoLicense:BSD-2-ClauseStargazers:2708Issues:89Issues:174

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:2659Issues:80Issues:1999

kani

Kani Rust Verifier

Language:RustLicense:Apache-2.0Stargazers:2063Issues:25Issues:1595

libdatachannel

C/C++ WebRTC network library featuring Data Channels, Media Transport, and WebSockets

Language:C++License:MPL-2.0Stargazers:1690Issues:41Issues:520

pragmatapro

PragmataPro font is designed to help pros to work better

Language:Rich Text FormatStargazers:1395Issues:59Issues:269

OpenLoco

An open source re-implementation of Chris Sawyer's Locomotion

Language:C++License:MITStargazers:1241Issues:45Issues:700

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLicense:LGPL-2.1Stargazers:1083Issues:24Issues:341

touche

The desktop application to configure Touchégg

Language:JavaScriptLicense:GPL-3.0Stargazers:542Issues:8Issues:79

godot-go

Go bindings for Godot 4.2 GDExtension API

Language:GoLicense:MITStargazers:499Issues:18Issues:54

pvslib

NASA PVS Library of Formal Developments

ladspa

The SWH Plugins package for the LADSPA plugin system

Language:CLicense:GPL-2.0Stargazers:228Issues:19Issues:49

coppwr

Low level control GUI for the PipeWire multimedia server

Language:RustLicense:GPL-3.0Stargazers:227Issues:4Issues:13

aeneas

A verification toolchain for Rust programs

Language:OCamlLicense:Apache-2.0Stargazers:167Issues:5Issues:108

lv2

SWH Plugins in LV2 format

Language:CLicense:GPL-3.0Stargazers:94Issues:12Issues:13

mathlib4-tactics

List of the all tactics of mathlib4. This is heavily inspired by haruhisa-enomoto/mathlib4-all-tactics

Language:JavaScriptLicense:Apache-2.0Stargazers:8Issues:3Issues:7

qrcodegen-cmake

CMake build scripts for the QR-Code-generator library

Language:CMakeLicense:MITStargazers:4Issues:6Issues:7

pulse

The Pulse separation logic DSL for F*

Language:F*License:Apache-2.0Stargazers:3Issues:3Issues:36

tag-tree

A Timewarrior extension to display total of tags in a tree (hierarchical) structure

Language:GoLicense:Apache-2.0Stargazers:2Issues:0Issues:0

polyscope.lean

A polyscope (https://polyscope.run/) like interface for Lean, built on Proofwidgets4

Language:TypeScriptLicense:Apache-2.0Stargazers:1Issues:2Issues:1