- Seoul, Republic of Korea
-
09:12
(UTC -07:00) - https://hyeon.me
- @simnalamburt
- @hyeon.me
- @[email protected]
- in/simnalamburt
Highlights
Stars
- All languages
- ActionScript
- Adblock Filter List
- Agda
- AppleScript
- Assembly
- Astro
- AutoIt
- Batchfile
- Blade
- Boogie
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fluent
- Fortran
- FreeMarker
- GLSL
- Gleam
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Idris
- Inno Setup
- JSON
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Less
- Liquid
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Meson
- Move
- Nextflow
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- PEG.js
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- PureScript
- Python
- QML
- R
- Reason
- Ren'Py
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SVG
- SWIG
- Scala
- Scheme
- ShaderLab
- Shell
- Standard ML
- Stylus
- Svelte
- Swift
- TSQL
- Tcl
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- Yacc
- Zig
- reStructuredText
a structural diff that understands syntax 🟥🟩
Command-line sampling profiler for macOS, Linux, and Windows
A cloud native embedded storage engine built on object storage.
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
Visual Studio Code extension for the Lean 4 proof assistant
Delta Patcher is a GUI software that is able to create and apply xdelta patches.
Type-safe combinatorial CLI parser for TypeScript
LLM Frontend for Power Users.
A Library for Representing Recursive and Impure Programs in Coq
A Privacy-first, Cross-platform Text Expander written in Rust
Represent an XML document as a read-only tree.
OrioleDB – building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems)
Zero-Trust access management with true WireGuard® 2FA/MFA
A free and open-source re-implementation of the macOS Launchpad pre-Tahoe
DOH server that patches CF's IP to forcefully use ICN region