-
LAAS-CNRS
- Toulouse
-
00:30
(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
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Just
- KiCad Layout
- Kotlin
- Less
- Lua
- MATLAB
- MDX
- Makefile
- Nix
- OCaml
- OpenSCAD
- PHP
- PLpgSQL
- Perl
- Processing
- Python
- QML
- Ruby
- Rust
- SCSS
- SVG
- Scala
- Shell
- Svelte
- TeX
- TypeScript
- V
- VHDL
- Vala
- Verilog
- Vim Script
- Zig
- reStructuredText
Xacro is an XML macro language. With xacro, you can construct shorter and more readable XML files by using macros that expand to larger XML expressions.
Vcs2l is a command line tool designed to make working with multiple repositories easier
We write your reusable computer vision tools. 💜
LRCLIB server written in Rust with Axum and SQLite3 database
A minimal specification for purl aka. a package "mostly universal" URL, join the discussion at https://gitter.im/package-url/Lobby
Aspect-oriented, context-driven Dendritic Nix configurations. [maintainer = @vic, @sini, @HeitorAugustoLN, @Gwenodai, @theutz, @DylanRJohnston]
A Rust port of nix-diff, a tool to explain why two Nix derivations differ.
ZMK implementation of the Arsenik/Selenium keymaps
QMK keymap implementations for OneDeadKey keyboard layouts.
A purely functional programming language with first class types
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/GitHub/forgejo. 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