-
LAAS-CNRS
- Toulouse
-
06:21
(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
- Fortran
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- 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
A small rust library for adding custom derives to enums
πΈ Soothing pastel theme for the high-spirited!
A command-line tool to display the status of multiple Git repositories in a clear, tabular format.
π¨ Soothing pastel theme for Tailwind CSS
ading2210 / doompdf
Forked from ozkl/doomgenericA port of Doom (1993) that runs inside a PDF file
Seamless navigation between kitty panes and vim splits
A syntax-highlighting pager for git, diff, grep, and blame output
Jupyter widget helpers for ROS, the Robot Operating System
Realtime robot data visualization in the browser
A Rust crate for cooking up terminal user interfaces (TUIs) π¨βπ³π https://ratatui.rs
π½ Open your Kitty scrollback buffer with Neovim. Ameowzing!
A cross-platform command-line utility that creates projects from cookiecutters (project templates), e.g. Python package projects, C projects.
A small utility to modify the dynamic linker and RPATH of ELF executables
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
An extremely fast Python type checker and language server, written in Rust.
Cap'n Proto serialization/RPC system - core tools and C++ library