-
LAAS-CNRS
- Toulouse
-
22:54
(UTC +02:00) - 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
- Fennel
- Fortran
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Just
- KiCad Layout
- Kotlin
- Less
- Lua
- MATLAB
- MDX
- Makefile
- Nix
- OCaml
- OpenSCAD
- PHP
- Perl
- Processing
- Python
- QML
- Ruby
- Rust
- SCSS
- SVG
- Scala
- Shell
- Svelte
- TeX
- TypeScript
- V
- VHDL
- Vala
- Verilog
- Vim Script
- Zig
- reStructuredText
Cleaner and Formatter for BibTeX files
jawah / niquests
Forked from psf/requestsDrop-in replacement for Requests. Automatic HTTP/1.1, HTTP/2, and HTTP/3. WebSocket, and SSE included.
A C++ header-only HTTP/HTTPS server and client library
GPU-optimized version of the MuJoCo physics simulator, designed for NVIDIA hardware.
Isaac Lab API, powered by MuJoCo-Warp, for RL and robotics research.
Nix build hook that forwards builds to job schedulers.
Rust rewrite of the python weechat-matrix script.
A merge queue for Gitea. Serializes PR merges so your main branch stays green.
Grist is the evolution of spreadsheets.
This revolutionary software enables EV battery packs to be easily reused for stationary storage in combination with solar inverters
A terminal workspace with batteries included
Easy to use OpenStreetMap editor for Android
Open source video conferencing app powered by LiveKit.
NixOS module for TPM-backed SSH host keys
Draggable data points plugin for Chart.js
Nix hash collection software, to aggregate build reports from several builders [maintainer=@JulienMalka, @raboof]
A modern static site generator by the Material for MkDocs team
Build Rust projects in Nix - no configuration, no code generation, no IFD, sandbox friendly.
Rust port of nix-tree, providing an interactive visualization of Nix store dependencies.
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
Take control over your live stream video by running it yourself. Streaming + chat out of the box.
Universal icon framework. One syntax for FontAwesome, Material Design Icons, DashIcons, Feather Icons, EmojiOne, Noto Emoji and many other open source icon sets (over 150 icon sets and 200k icons).…