- Czech Republic
-
01:09
(UTC +01:00) - http://viluon.me
- https://orcid.org/0000-0002-2051-9702
- @viluon.bsky.social
- in/viluon
- u/viluon
- viluon
Highlights
Lists (6)
Sort Name ascending (A-Z)
- All languages
- ActionScript
- Agda
- Assembly
- Batchfile
- Blade
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- Common Lisp
- Coq
- Cuda
- Dafny
- Dart
- Daslang
- Dhall
- Dockerfile
- Elm
- Emacs Lisp
- F#
- F*
- Flix
- Go
- HTML
- Hack
- Haskell
- Idris
- Isabelle
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kaitai Struct
- Koka
- Kotlin
- LLVM
- Lean
- Less
- Lua
- Makefile
- Markdown
- Mathematica
- Monkey C
- MoonScript
- NewLisp
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- OpenSCAD
- PHP
- Perl
- PowerShell
- Prolog
- Python
- QML
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- VBA
- Vala
- Verilog
- Vim Script
- Vim Snippet
- Vue
- WebAssembly
- YAML
- Zig
Starred repositories
The news site I write satire on to make myself laugh. Fork it for any publication: lean, fast, runs on Cloudflare, almost no JavaScript for readers, CMS included.
Hello eBPF world! Hello Java world! Let's discover eBPF together and write Java user-land library along the way.
Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)
Get inverter data from a Goodwe XS inverter
Racing to the bottom of CPU performance
Experimental: A Linux container environment where everything is mutable, undo is instant, and cross-machine replication is trivial.
Extensible Nix library for creating scalable NixOS, Home Manager, and Nix-Darwin configurations with modules, hosts, and rices
The "Missing GitHub Status Page" -- a Flat Data attempt at historically documenting GitHub statuses
Secure Boot & Measured Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
A PDF that is also an ELF. A crack-me challenge developed for BjornCTF 2020
Database of polyglot files. By polyglot, we mean files readable in multiple formats
chroot, mount --bind, and binfmt_misc without privilege/setup for Linux
Nix binary cache implemented in rust (maintainer: @Mic92)
IntelliJ plugin for writing IntelliJ plugins at runtime ⚡️
A GPU-rendered terminal emulator with inline 3D graphics 🐀🧀
Run Windows apps such as Microsoft Office/Adobe in Linux (Ubuntu/Fedora) and GNOME/KDE as if they were a part of the native OS, including Nautilus integration. Hard fork of https://github.com/Fmst…
Li Haoyi's excellent Pretty Printing library ported to Kotlin!
Highlighting and multi-languages injections within Selfie template files
Executes commands in response to file modifications
User-mode networking for unprivileged network namespaces