SeungheonOh

SeungheonOh

Geek Repo

Company:@mlabs-haskell @Liqwid-Labs

Location:Over the rainbow

Github PK Tool:Github PK Tool

SeungheonOh's starred repositories

organicmaps

🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by MapsWithMe (MapsMe) founders and our community. No ads, no tracking, no data collection, no crapware. Please donate to support the development!

Language:C++License:Apache-2.0Stargazers:8783Issues:88Issues:4265

xzbot

notes, honeypot, and exploit demo for the xz backdoor (CVE-2024-3094)

Language:GoStargazers:3469Issues:39Issues:0

comic-mono-font

A legible monospace font... the very typeface you’ve been trained to recognize since childhood

Language:RubyLicense:NOASSERTIONStargazers:2388Issues:21Issues:0

FEX

A fast usermode x86 and x86-64 emulator for Arm64 Linux

Language:C++License:MITStargazers:1926Issues:38Issues:711

computer-graphics-from-scratch

Text, diagrams, and source code for the book Computer Graphics from scratch.

hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

Language:RustLicense:NOASSERTIONStargazers:1147Issues:13Issues:29

ferris

A low profile split keyboard designed to satisfy one single use case elegantly

Language:PythonLicense:NOASSERTIONStargazers:1018Issues:32Issues:31

Reduceron

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.

rv003usb

CH32V003 RISC-V Pure Software USB Controller

Language:JavaScriptLicense:CC-BY-SA-4.0Stargazers:353Issues:75Issues:73

socialarchitecture

A primer on on-line community building

Language:SmartyLicense:NOASSERTIONStargazers:206Issues:20Issues:1

redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

Language:OCamlLicense:Apache-2.0Stargazers:204Issues:27Issues:235

Cosmos-Keyboards

Taking Keyboards to the Final Frontier

Language:TypeScriptLicense:AGPL-3.0Stargazers:166Issues:4Issues:7

fak

F.A. Keyboard Firmware

Language:CLicense:GPL-3.0Stargazers:137Issues:6Issues:4

khanelinix

Nix configuration for my systems supporting macOS, NixOS, and WSL.

ELTerm

ANSI/VT100-compatible serial terminal built with Raspberry Pi Pico and EL640.480-AM/AG screen

Language:CLicense:MITStargazers:74Issues:2Issues:0

core

ZilchOS Core, a decidedly tiny Nix-based distro to play with

Language:NixLicense:MITStargazers:63Issues:4Issues:0

atlas

Application backend for Plutus smart contracts on Cardano

Language:HaskellLicense:Apache-2.0Stargazers:61Issues:8Issues:171

cardano-node-tests

System and end-to-end (E2E) tests for cardano-node.

Language:PythonLicense:Apache-2.0Stargazers:53Issues:30Issues:341

HPi

Library to access the GPIO pins on a Raspberry Pi from Haskell.

Language:HaskellLicense:BSD-3-ClauseStargazers:44Issues:6Issues:4
Language:OpenSCADLicense:GPL-3.0Stargazers:39Issues:0Issues:0

snippets

My code snippets

Language:PythonLicense:NOASSERTIONStargazers:36Issues:6Issues:1

ttbasic_arduino

TOYOSHIKI Tiny BASIC for Arduino. Tested in Arduino Uno.

Language:C++Stargazers:21Issues:0Issues:0

automata

generate synthetic data for training finite state machines/pushdown automata/turing machines

Language:HaskellStargazers:16Issues:0Issues:0

vega

A dependently typed programming language with direct style effects and linearity

Language:HaskellLicense:NOASSERTIONStargazers:15Issues:0Issues:0

pat-keymap

My keycap for the Ferris Sweep

Language:PythonStargazers:1Issues:1Issues:0