Skip to content
View yasanhehe's full-sized avatar
➡️
➡️
  • Tokyo
  • 19:35 - 9h ahead

Block or report yasanhehe

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

RA-WEBs: Remote Attestation for WEB services

Go 4 Updated Jan 28, 2025

Performant and Confidentiality-Preserving Smart Contracts + Blockchains

Go 348 115 Updated Mar 3, 2025

misc

12 Updated May 26, 2015

Anonymous peer-to-peer instant messaging

C++ 3,865 411 Updated Dec 30, 2021

JANOG Public Repo

HTML 10 1 Updated Jan 28, 2025

A minimal GPU design in Verilog to learn how GPUs work from the ground up

SystemVerilog 7,908 605 Updated Aug 18, 2024

Algorithms and data structures implemented in Solidity

Solidity 342 98 Updated Oct 27, 2023

singing voice synthesizer with 3-part harmony and automatic voice leading

Rust 61 Updated Dec 22, 2024

A Single Page Application written in Elm

Elm 3,290 530 Updated Nov 3, 2023

📖 Practical examples in Elm

JavaScript 210 22 Updated Feb 4, 2019

Driver loader for bypassing Windows x64 Driver Signature Enforcement

C 1,101 337 Updated Aug 1, 2019

Convolutional Neural Networks

C 26,041 21,323 Updated May 3, 2024

AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery

C++ 53 4 Updated Jun 20, 2022

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 55,035 3,638 Updated Mar 4, 2025

A list of Free Software network services and web applications which can be hosted on your own servers

219,014 10,309 Updated Mar 3, 2025

Haskell Library for Deterministic and Non-deterministic Finite Automa

Haskell 7 Updated Dec 18, 2023

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Haskell 2,694 158 Updated Aug 6, 2019

A static website compiler library in Haskell

Haskell 2,738 411 Updated Mar 2, 2025

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Haskell 3,179 322 Updated Mar 3, 2025

Koka language compiler and interpreter

Haskell 3,436 173 Updated Feb 27, 2025

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Haskell 3,368 256 Updated Jan 11, 2021

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Haskell 3,423 295 Updated Feb 22, 2025

Cryptographic currency implementing Ouroboros PoS protocol

Haskell 3,771 631 Updated Jul 30, 2020

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Haskell 4,294 311 Updated Nov 19, 2024

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Haskell 5,002 201 Updated Feb 24, 2025

A friendly programming language from the future

Haskell 5,937 274 Updated Mar 3, 2025

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Kotlin 8,041 383 Updated Mar 4, 2025

A strongly-typed language that compiles to JavaScript

Haskell 8,656 566 Updated Feb 20, 2025
Next
Showing results