Skip to content
View hokeun's full-sized avatar

Highlights

  • Pro

Organizations

@iotauth @lf-lang

Block or report hokeun

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
Python 4 Updated Dec 17, 2025

Program the Pololu 3pi+ 2040 robot using Lingua Franca

C 3 4 Updated Aug 21, 2025

[SIGMOD'25] SHIELD: Encrypting Persistent Data of LSM-KVS from Monolithic to Disaggregated Storage

C++ 4 2 Updated Jan 16, 2026

A repository for SST API in C language and examples in C/C++

C 4 2 Updated Jan 5, 2026

RFCs for changes to Lingua Franca

1 Updated Jun 24, 2024

TCRS '25

SCSS 1 5 Updated Dec 19, 2025
Python 1 Updated Nov 29, 2024

A repository for authentication/authorization entity software for the Internet of Things as part of SST

Java 1 Updated May 31, 2024

[ICLR 2024] Think-on-Graph: Deep and Responsible Reasoning of Large Language Model on Knowledge Graph

Python 226 17 Updated May 22, 2024

A repository for authentication/authorization entity software for the Internet of Things as part of SST

Java 18 9 Updated Jan 13, 2026
Rust 3 1 Updated Aug 21, 2024
TypeScript 3 Updated Dec 14, 2023
Jupyter Notebook 1 Updated Jul 11, 2023

Template for Lingua Franca projects using Zephyr as a target platform

Python 3 3 Updated Dec 10, 2024

Example code for the Pololu 3pi+ 2040 Robot

C 21 7 Updated Feb 13, 2024

Intuitive concurrent programming in any language

Java 283 75 Updated Jan 20, 2026

Quickly get started with AWS IoT Core for LoRaWAN with sample solutions (binary decoding, device and gateway monitoring, downlink, dashboarding, provisioning automation)

Python 85 33 Updated Oct 28, 2022

Flower: A Friendly Federated AI Framework

Python 6,587 1,130 Updated Jan 20, 2026

visualize dependency graph of reactors in Lingua Franca

JavaScript 1 Updated Jul 14, 2022

Savina is an Actor Benchmark Suite.

Scala 38 23 Updated Feb 10, 2021

Miking - the meta viking: a meta-language system for creating embedded languages

Monkey C 54 36 Updated Dec 22, 2025

A reactor-oriented programming framework in TypeScript

TypeScript 11 6 Updated Apr 1, 2025

Source code for "Java How to Program, 11/e, Early Objects Version"

240 160 Updated May 14, 2020

starter code for spring 21

Java 611 858 Updated Feb 4, 2024

A toolkit for developing and comparing reinforcement learning algorithms.

Python 36,965 8,714 Updated Oct 11, 2024

SmartThings open-source DeviceType Handlers and SmartApps code

Groovy 2,625 88,266 Updated Jul 18, 2023

A repository for experiments

C++ 3 2 Updated Jul 31, 2025

A repository for security analysis of SST

Alloy 2 2 Updated May 12, 2025

An ACME-based certificate authority, written in Go.

Go 5,622 633 Updated Jan 20, 2026
Next