-
CNRS
- France
- https://www.jaime-arias.fr
Highlights
- Pro
- All languages
- Ada
- Batchfile
- Bru
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cython
- Dockerfile
- Edge
- Emacs Lisp
- Gherkin
- Go
- Groff
- HTML
- Haskell
- Hy
- Java
- JavaScript
- JetBrains MPS
- Jolie
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- Makefile
- Markdown
- Max
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- Python
- QML
- R
- Racket
- Raku
- ReScript
- Reason
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- q
Starred repositories
Public api that contains info about Colombia, departments, cities, tourists places and presidents
A Unicorn theme for Slidev slides based on dawntraoz.com design.
A professional presentation theme for Slidev, designed specifically for academic presentations with LaTeX Beamer-inspired styling.
LaTeX support for the IntelliJ platform by JetBrains.
HTTP load testing tool and library. It's over 9000!
SigNoz is an open-source observability platform native to OpenTelemetry with logs, traces and metrics in a single application. An open-source alternative to DataDog, NewRelic, etc. 🔥 🖥. 👉 Open sour…
A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
This repo is a list of papers that discuss errors in research due to software errors
Joular Core is a platform to measure power and energy across all systems, OSes and devices
This repository contains a (client-side) web application to automatically generate Codemeta documents (aka. codemeta.json).
The most intuitive desktop API client. Organize and execute REST, GraphQL, WebSockets, Server Sent Events, and gRPC 🦬
AdonisJS SQL ORM. Supports PostgreSQL, MySQL, MSSQL, Redshift, SQLite and many more
VineJS is a form data validation library for Node.js
Customizable automatic UML diagram generator for C++ based on Clang.
🔍 ScanCode detects licenses, copyrights, dependencies by "scanning code" ... to discover and inventory open source and third-party packages used in your code. Sponsored by NLnet, the Google Summer …
Modern Swagger/OpenAPI integration for AdonisJS v6 with Scalar UI
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
The Parma Polyhedra Library is a state-of-the-art library for convex polyhedra and other numerical abstractions.
A terminal tool to summarize your Git commit history for daily standups, using AI
OPIDoR / DMPOPIDoR
Forked from DMPRoadmap/roadmapDMP OPIDoR code base. Forked from DMPRoadmap