A Modern Compiler for the French Tax Code

MLanguage/mlang 16 Nov 2020

In France, income tax is computed from taxpayers' individual returns, using an algorithm that is authored, designed and maintained by the French Public Finances Directorate (DGFiP).

Programming Languages

111
0.27 stars / hour

Fine-Grained Lineage for Safer Notebook Interactions

nbsafety-project/nbsafety 13 Dec 2020

Computational notebooks have emerged as the platform of choice for data science and analytical workflows, enabling rapid iteration and exploration.

Software Engineering Databases Human-Computer Interaction Programming Languages

336
0.27 stars / hour

Conditional Variational Autoencoder with Adversarial Learning for End-to-End Text-to-Speech

jaywalnut310/vits 11 Jun 2021

Several recent end-to-end text-to-speech (TTS) models enabling single-stage training and parallel sampling have been proposed, but their sample quality does not match that of two-stage TTS systems.

Sound Audio and Speech Processing

1,977
0.24 stars / hour

Continuous-Time Ultra-Wideband-Inertial Fusion

kit-isas/sfuise 22 Jan 2023

Based thereon, a sliding-window spline fitting scheme is established for asynchronous multi-sensor fusion and online calibration.

Robotics

31
0.19 stars / hour

KISS-ICP: In Defense of Point-to-Point ICP -- Simple, Accurate, and Robust Registration If Done the Right Way

prbonn/kissicp 30 Sep 2022

By removing a majority of parts and focusing on the core elements, we obtain a surprisingly effective system that is simple to realize and can operate under various environmental conditions using different LiDAR sensors.

Robotics

513
0.17 stars / hour

Openwifi CSI fuzzer for authorized sensing and covert channels

open-sdr/openwifi 16 May 2021

The CSI fuzzer imposes an artificial channel response to the signal before it is transmitted, so the CSI seen by the receiver will indicate the actual channel response combined with the artificial response.

Cryptography and Security Hardware Architecture Networking and Internet Architecture

2,858
0.12 stars / hour

Dance2MIDI: Dance-driven multi-instruments music generation

dance2midi/dance2midi 22 Jan 2023

The challenges of the dance-driven multi-instruments music (MIDI) generation are two-fold: 1) no publicly available multi-instruments MIDI and video paired dataset and 2) the weak correlation between music and video.

Multimedia Sound Audio and Speech Processing

7
0.11 stars / hour

Semantic 3D Grid Maps for Autonomous Driving

UnknownFreeOccupied/ufomap 3 Nov 2022

Maps play a key role in rapidly developing area of autonomous driving.

Robotics

116
0.11 stars / hour

Roaring Bitmaps: Implementation of an Optimized Software Library

RoaringBitmap/RoaringBitmap 22 Sep 2017

Compressed bitmap indexes are used in systems such as Git or Oracle to accelerate queries.

Databases

2,896
0.09 stars / hour

Multi-band MelGAN: Faster Waveform Generation for High-Quality Text-to-Speech

coqui-ai/TTS Interspeech2020 2020

In this paper, we propose multi-band MelGAN, a much faster waveform generation model targeting to high-quality text-to-speech.

Sound Audio and Speech Processing

7,956
0.10 stars / hour