- Rennes, France
-
20:46
- 1h ahead - earth2077.fr
- All languages
- BASIC
- Batchfile
- Brainfuck
- C
- C#
- C++
- CSS
- CoffeeScript
- Coq
- Crystal
- Cuda
- Dockerfile
- ECL
- Elixir
- F#
- Fennel
- Gleam
- Go
- HTML
- Handlebars
- Haskell
- HolyC
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Markdown
- Mathematica
- Mercury
- Mustache
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- Objective-C++
- Odin
- PHP
- Perl
- PowerShell
- Python
- QML
- Ruby
- Rust
- SCSS
- SVG
- Scala
- Scheme
- Shell
- Svelte
- Swift
- Tcl
- TeX
- TypeScript
- Typst
- Vim Script
- Vue
- Zig
Starred repositories
Visual Studio Code Extension and Language Server Protocol for Coq
A modification of the Apple Mail plugin for GnuPG encrypted e-mails, so it does not require a support plan.
Use your tablet as graphic tablet/touch screen on your computer.
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…
Vim plugin that defines a new text object representing lines of code at the same indent level. Useful for python/vim scripts, etc.
📚 Collaborative cheatsheets for console commands
Customized version of Apple's Menlo font. Great monospaced font for development work. Should also work with the Windows Console (see Wiki for Windows infos).
Nix-based incremental build tool for Haskell projects
A unified NixOS tooling replacement for nixos-* utilities
Haskell parser and printer for the TOML 1.0.0 file format
Webtoons Scraper able to download all chapters of any series wanted.
Ease reproducible experiments of distributed systems
Browser Extension for automatically searching Rossmann's Consumer Action Taskforce (CAT) articles for the current page being visited.
A curated list of the most common and most interesting robots.txt disallowed directories.
A list of AI agents and robots to block.
A TUI playground to experiment with your favorite programs, such as grep, sed, awk, jq and yq