-
LAAS-CNRS
- Toulouse
-
23:20
- 1h ahead - https://orcid.org/0000-0002-0867-1664
- @nim@mastodon.tetaneutral.net
Highlights
- Pro
Stars
- All languages
- Arduino
- Assembly
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- CoffeeScript
- Dockerfile
- Elm
- Fortran
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Just
- KiCad Layout
- Kotlin
- Lua
- MATLAB
- Makefile
- Nix
- OCaml
- OpenSCAD
- PHP
- Perl
- Processing
- Python
- QML
- Roff
- Ruby
- Rust
- Scala
- Shell
- Svelte
- TeX
- TypeScript
- V
- VHDL
- Vala
- Verilog
- Vim Script
- Zig
- reStructuredText
Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
A demonstration of how you can leverage Nix dynamic derivations for C/C++ Makefile projects
Fine-grained Haskell builds with Nix's dynamic derivations
Language Server for Systemd unit files
Weighs the soul of incoming HTTP requests using proof-of-work to stop AI crawlers
James Bond went on a new mission as a Secret Service provider
Authenticate users in your django application using OpenID Connect (OIDC)
Discussions: https://matrix.to/#/#Jovian-Experiments:matrix.org
Create Nilla projects that manage your packages, development shells, systems, and more!
Ultimate camera streaming application with support RTSP, RTMP, HTTP-FLV, WebRTC, MSE, HLS, MP4, MJPEG, HomeKit, FFmpeg, etc.
Nix dependency pinning. Very similar to Niv but has a few features that I personally wanted.
🐁 Soothing pastel cursors for GTK/Plasma/Hyprland
🕊️ Soothing pastel theme for Thunderbird
A place to share themes for Element. PRs with new themes are welcome!
Completely revolutionizes the Spotify Lyrics Experience by introducing Live Lyrics, Dynamic Backgrounds, and Immersive Views
A nix flake for configuring spicetify. Includes packaging for many popular themes and extensions.
Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]
Command-line tool to customize Spotify client. Supports Windows, MacOS, and Linux.
Mirror of https://git.kernel.org/pub/scm/linux/kernel/git/legion/kbd.git
Sécurix is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven conf…
Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout.
METIS - Serial Graph Partitioning and Fill-reducing Matrix Ordering