- Czech Republic
-
13:39
(UTC +01:00) - http://viluon.me
- https://orcid.org/0000-0002-2051-9702
- @viluon.bsky.social
- in/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
- Dhall
- Dockerfile
- Elm
- Emacs Lisp
- F#
- F*
- Flix
- Go
- HTML
- Hack
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- 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
- 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
An implementation of the OpenTelemetry specification as a Kotlin Multiplatform Library
GitHub Action to properly cache ~/.gradle folder
Optimize your Linux system for low latency audio
Pixel perfect icon theme for Linux
A skin to make Steam look more like a native GNOME app
A focused launcher for your desktop — native, fast, extensible
A better build tool for Java, Scala and Kotlin: Simpler than Maven, easier than Gradle, with 3-7x faster dev workflows than other JVM build tools
A Nix builder function for packaging Gradle applications.
The development repository for LessWrong2 and the EA Forum, based on Vulcan JS
Nix flake for "too much bleeding-edge" and unreleased packages (e.g., mesa_git, linux_cachyos, firefox_nightly, sway_git, gamescope_git). And experimental modules (e.g., HDR, duckdns).
A fast usermode x86 and x86-64 emulator for Arm64 Linux
A user-friendly method of sandboxing applications using bubblewrap with portals support.
Record, share and export your terminal as a animated SVG image.
https://noogle.dev - nix function exploring. [maintainer=@hsjobeki]
Web app and CLI tool that lets you recolor images, GIFs, and videos with any custom palette of your choosing
Wallpaper Engine backgrounds for Linux!