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

Language:LeanStargazers:5Issues:0Issues:0

ungoogled-chromium

Google Chromium, sans integration with Google

Language:PythonLicense:BSD-3-ClauseStargazers:19620Issues:0Issues:0

OpenLoco

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

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

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:40195Issues:0Issues:0

pragmatapro

PragmataPro font is designed to help pros to work better

Language:Rich Text FormatStargazers:1384Issues:0Issues:0

kani

Kani Rust Verifier

Language:RustLicense:Apache-2.0Stargazers:2041Issues:0Issues:0

pulse

The Pulse separation logic DSL for F*

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

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:2651Issues:0Issues:0

polyscope.lean

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

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

creusot

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

Language:RustLicense:LGPL-2.1Stargazers:1068Issues:0Issues:0

mathlib4-tactics

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

Language:JavaScriptLicense:Apache-2.0Stargazers:7Issues:0Issues:0

godot-go

Go bindings for Godot 4.2 GDExtension API

Language:GoLicense:MITStargazers:492Issues:0Issues:0

tag-tree

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

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

engine

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

Language:GoLicense:BSD-2-ClauseStargazers:2689Issues:0Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2842Issues:0Issues:0

aeneas

A verification toolchain for Rust programs

Language:OCamlLicense:Apache-2.0Stargazers:163Issues:0Issues:0

coppwr

Low level control GUI for the PipeWire multimedia server

Language:RustLicense:GPL-3.0Stargazers:210Issues:0Issues:0

pvslib

NASA PVS Library of Formal Developments

Language:Common LispStargazers:259Issues:0Issues:0

tantivy

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

Language:RustLicense:MITStargazers:11322Issues:0Issues:0

ladspa

The SWH Plugins package for the LADSPA plugin system

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

lv2

SWH Plugins in LV2 format

Language:CLicense:GPL-3.0Stargazers:94Issues:0Issues:0

manim

A community-maintained Python framework for creating mathematical animations.

Language:PythonLicense:MITStargazers:19936Issues:0Issues:0

kdenlive

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

Language:C++License:GPL-3.0Stargazers:2949Issues:0Issues:0

libdatachannel

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

Language:C++License:MPL-2.0Stargazers:1665Issues:0Issues:0

websocketpp

C++ websocket client/server library

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

libwebsockets

canonical libwebsockets.org networking library

Language:CLicense:NOASSERTIONStargazers:4653Issues:0Issues:0

qrcodegen-cmake

CMake build scripts for the QR-Code-generator library

Language:CMakeLicense:MITStargazers:4Issues:0Issues:0

QR-Code-generator

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

Language:JavaStargazers:5044Issues:0Issues:0

touche

The desktop application to configure Touchégg

Language:JavaScriptLicense:GPL-3.0Stargazers:538Issues:0Issues:0