Search: inria.fr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Assembling a 100 Mbp genome on a Raspberry Pi [pdf]

13 years ago

2 points

182.

A Short Introduction to Coq

13 years ago

2 points

183.

"Deep into Pharo" book released

rmod.lille.inria.fr

13 years ago

2 points

184.

On-the ﬂy evaluation of FPGA-based True Random Number Generator (2009)

13 years ago

2 points

185.

Introduction to Mezzo

gallium.inria.fr

13 years ago

2 points

186.

FOSSa 2012 Open Source Conference

14 years ago

2 points

187.

The Core-Math Project

core-math.gitlabpages.inria.fr

2 months ago

2 points

188.

Program-ing Finger Trees in Coq (2007) [pdf]

sozeau.gitlabpages.inria.fr

8 months ago

2 points

189.

OpenVIBE | Software for Brain Computer Interfaces

openvibe.inria.fr

14 years ago

2 points

190.

Gilles Dowek: an explorer of formal methods

a year ago

2 points

191.

Developing applications with Objective Caml

14 years ago

2 points

192.

ProVerif: Cryptographic protocol verifier in the formal model

bblanche.gitlabpages.inria.fr

a year ago

2 points

193.

Left-recursive versus right-recursive lists in LR parsers

cambium.inria.fr

a year ago

2 points

194.

NetworkDisk: SQLite NetworkX graph manipulation

networkdisk.inria.fr

a year ago

2 points

195.

A Diffusion Approach to Radiance Field Relighting

repo-sam.inria.fr

2 years ago

2 points

196.

Efficient Padding Oracle Attacks on Cryptographic Hardware

14 years ago

2 points

197.

Jean-Marie Hullot, visionary computer scientist and tech expert (2019)

2 years ago

2 points

198.

OCaml 4 beta 2 released

14 years ago

2 points

199.

P99: Preprocessor macros and functions for C99 and C11

gitlab.inria.fr

2 years ago

2 points

200.

Reducing the Memory Footprint of 3D Gaussian Splatting

repo-sam.inria.fr

2 years ago

2 points

201.

Microdown: A clean and extensible markup language [pdf]

rmod-files.lille.inria.fr

2 years ago

2 points

202.

www-sop.inria.fr

3 years ago

2 points

203.

Composable data structures for eventually consistent systems

15 years ago

2 points

204.

History of OCaml

15 years ago

2 points

205.

Initial identification of the early signs of Alzheimer’s disease

4 years ago

2 points

206.

Fixing a MongoDB Replication Protocol Bug with TLA+ (2019) [pdf]

tla.msr-inria.inria.fr

4 years ago

2 points

207.

Coccinelle: Program Matching and Transformation Engine

coccinelle.gitlabpages.inria.fr

5 years ago

2 points

208.

Accuracy of Mathematical Functions in Single, Double, Ext. Double and Quad Prec

5 years ago

2 points

209.

Implementing pgloader (from Python to Common Lisp) (2013) [pdf]

5 years ago

2 points

210.

An Effective Git and Org-Mode Based Workflow(2015)

5 years ago

2 points