- Czech Republic
-
17:39
(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
- 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
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
A feature-rich command-line audio/video downloader
Command-line program to download videos from YouTube.com and other video sites
Python tool for converting files and office documents to Markdown.
Magnificent app which corrects your previous console command.
Models and examples built with TensorFlow
Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
TensorFlow code and pre-trained models for BERT
A toolkit for developing and comparing reinforcement learning algorithms.
Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.
If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.
The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
Resume builder for academics and engineers
A computer algebra system written in pure Python
match command-line arguments to their help text
Waydroid uses a container-based approach to boot a full Android system on a regular GNU/Linux system like Ubuntu.
A monospaced programming font inspired by the Minecraft typeface
AudioGPT: Understanding and Generating Speech, Music, Sound, and Talking Head
An interactive NVIDIA-GPU process viewer and beyond, the one-stop solution for GPU process management.
Automatically visualize your pandas dataframe via a single print! 📊 💡
Privacy enhanced BitTorrent client with P2P content discovery
Universal and Transferable Attacks on Aligned Language Models
Makes you a Rockstar C++ Programmer in 2 minutes
Stable diffusion for real-time music generation





