- Czech Republic
-
02:54
(UTC +02: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
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- Common Lisp
- Coq
- Cuda
- Dafny
- Dart
- Dhall
- Dockerfile
- Elm
- Emacs Lisp
- F#
- F*
- Flix
- Go
- HTML
- Hack
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kaitai Struct
- Koka
- Kotlin
- LLVM
- Lean
- Less
- Lua
- MDX
- 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
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- VBA
- Vala
- Verilog
- Vim Script
- Vim Snippet
- Vue
- WebAssembly
- YAML
- Zig
Starred repositories
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
Live overlay for drawing, annotating with zoom, hiding text, and capturing screenshots on Linux. Can be used as whiteboard or blackboard. Highly customisable. Written in Rust.
Executes commands in response to file modifications
User-mode networking for unprivileged network namespaces
A fast semantic linter for Nix using tree-sitter 🌳 + ❄️. [maintainers=@Artturin,@siraben]
A host for Niri Animations configurations to be shared using custom shaders built in with GLSL
Parallel nix evaluator with a streamable json output [maintainers @Mic92, @adisbladis]
Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, labwc, and MiracleWM.
A simple program that provides DBus interface to control display temperature and brightness under wayland without flickering