| | Program-ing Finger Trees in Coq (2007) [pdf] (inria.fr) |
| 1 point by todsacerdoti 3 hours ago | past | discuss |
|
| | Coccinelle: The secret weapon of the Linux kernel devs (inria.fr) |
| 3 points by agvxov 3 months ago | past | 1 comment |
|
| | Gilles Dowek: an explorer of formal methods (inria.fr) |
| 2 points by homarp 3 months ago | past |
|
| | EĿlipsis, a Language Independent Preprocessor (inria.fr) |
| 4 points by faresahmed 4 months ago | past | 1 comment |
|
| | Objective ML: An Effective Object-Oriented Extension to ML (1998) [pdf] (inria.fr) |
| 3 points by swatson741 5 months ago | past |
|
| | ProVerif: Cryptographic protocol verifier in the formal model (inria.fr) |
| 2 points by doener 5 months ago | past |
|
| | Analytic Combinatorics [pdf] (inria.fr) |
| 1 point by ibobev 6 months ago | past |
|
| | Left-recursive versus right-recursive lists in LR parsers (inria.fr) |
| 2 points by nsajko 6 months ago | past |
|
| | Reconstructing the Knuth-Morris-Pratt Algorithm (inria.fr) |
| 5 points by nsajko 6 months ago | past |
|
| | Modern C (inria.fr) |
| 124 points by ibobev 7 months ago | past | 22 comments |
|
| | NetworkDisk: SQLite NetworkX graph manipulation (inria.fr) |
| 2 points by wslh 9 months ago | past |
|
| | Design an Instrument Horn/Bore in the Browser (inria.fr) |
| 1 point by diydsp 9 months ago | past | 3 comments |
|
| | Bigloo – Scheme Programming Language (inria.fr) |
| 1 point by giancarlostoro 10 months ago | past |
|
| | A Diffusion Approach to Radiance Field Relighting (inria.fr) |
| 2 points by hellohello2 11 months ago | past |
|
| | Core-MATH: open-source mathematical functions with correct rounding (inria.fr) |
| 4 points by fanf2 on Oct 11, 2024 | past |
|
| | Coq will be renamed into 'The Rocq Prover' (inria.fr) |
| 61 points by mvelbaum on Aug 7, 2024 | past | 64 comments |
|
| | StarPU: A Unified Runtime System for Heterogeneous Multicore Architectures (inria.fr) |
| 1 point by mshachkov on July 15, 2024 | past |
|
| | Jean-Marie Hullot, visionary computer scientist and tech expert (2019) (inria.fr) |
| 2 points by lioeters on July 15, 2024 | past |
|
| | Hierarchical 3D Gaussian Representation of Large Datasets (inria.fr) |
| 4 points by billconan on May 31, 2024 | past |
|
| | P99: Preprocessor macros and functions for C99 and C11 (inria.fr) |
| 2 points by fanf2 on May 16, 2024 | past |
|
| | Chunked sequences: O(1) push and pop, O(log n) split and concat, low constant fa (inria.fr) |
| 1 point by fanf2 on May 15, 2024 | past |
|
| | Hierarchical 3D Gaussians for Real-Time Rendering of Large Datasets (inria.fr) |
| 4 points by jasondavies on May 1, 2024 | past |
|
| | Reducing the Memory Footprint of 3D Gaussian Splatting (inria.fr) |
| 2 points by billconan on April 25, 2024 | past |
|
| | Microdown: A clean and extensible markup language [pdf] (inria.fr) |
| 2 points by anserin on March 22, 2024 | past |
|
| | Non-deterministic execution of Python functions (inria.fr) |
| 55 points by cha42 on Jan 31, 2024 | past | 16 comments |
|
| | Semantic Patching in C with Coccinelle (inria.fr) |
| 14 points by speps on Dec 16, 2023 | past | 2 comments |
|
| | The Zinc Experiment (1990) [pdf] (inria.fr) |
| 1 point by tosh on Nov 24, 2023 | past |
|
| | Designing Dex: research language for typed, functional array processing [pdf] (inria.fr) |
| 1 point by Palmik on Oct 3, 2023 | past |
|
| | Bits of History, Words of Advice (1984) [pdf] (inria.fr) |
| 3 points by todsacerdoti on Sept 23, 2023 | past | 1 comment |
|
| | 3D Gaussian Splatting for Real-Time Radiance Field Rendering [pdf] (inria.fr) |
| 3 points by 11thEarlOfMar on Aug 19, 2023 | past |
|
|
| More |
