Lists (32)
Sort Name ascending (A-Z)
Category Theory
??Compiler
DB
Finance
Haskell
HLS
Infra
Intel SGX
Keystone
libos
LowLayer
MPC
net
Network
OP-TEE
OS
paper
Processor Security
Program Verifier
risc-v
Rust
Security
Security - Fuzzer
Security - Memory
Security - Others
Security - Rev
Security - Static Analyser
Security - Vulnerability
SEV
Trustzone
wasm
まとめ
Stars
SKK implements for Vim/Neovim with denops.vim
Performant and Confidentiality-Preserving Smart Contracts + Blockchains
A minimal GPU design in Verilog to learn how GPUs work from the ground up
Algorithms and data structures implemented in Solidity
singing voice synthesizer with 3-part harmony and automatic voice leading
A Single Page Application written in Elm
Driver loader for bypassing Windows x64 Driver Signature Enforcement
AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
A list of Free Software network services and web applications which can be hosted on your own servers
Haskell Library for Deterministic and Non-deterministic Finite Automa
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
A static website compiler library in Haskell
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Cryptographic currency implementing Ouroboros PoS protocol
A Haskell library that simplifies access to remote data, such as databases or web-based services.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
A friendly programming language from the future
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!