Search: inria.fr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Static Single Assignment Book [pdf]

ssabook.gforge.inria.fr

11 years ago

37 points

62.

C source-to-source compiler enhancement from within

6 years ago

37 points

63.

An Introduction to Morphic: The Squeak User Interface Framework (2000) [pdf]

sdmeta.gforge.inria.fr

11 years ago

35 points

64.

A short introduction to Coq

16 years ago

33 points

65.

CompCert - Compilers you can formally trust

compcert.inria.fr

15 years ago

32 points

66.

Formally verifying the complexity of OCaml programs with CFML

gallium.inria.fr

11 years ago

31 points

67.

NaCl/OCaml (OCaml as a client-side web programming language)

16 years ago

30 points

68.

Factorization of RSA-250

lists.gforge.inria.fr

6 years ago

30 points

69.

Interactive Sketching of Urban Procedural Models

www-sop.inria.fr

10 years ago

30 points

70.

Hardware cost evaluation of the posit number system

7 years ago

29 points

71.

Using,Understanding,and Unraveling The OCaml Language

16 years ago

22 points

72.

10 years ago Julian Assange was doing cryptography in OCaml

16 years ago

22 points

73.

Hardware Performance Monitoring for the Rest of Us (2017) [pdf]

8 years ago

20 points

74.

Two common mistakes when using databases

18 years ago

19 points

75.

Exposing and Understanding Scrolling Transfer Functions (2012) [pdf]

direction.bordeaux.inria.fr

3 months ago

18 points

76.

Boom, OCaml 4.03.0 released, Get it now on opam

10 years ago

16 points

77.

Scheme To Javascript Compiler

www-sop.inria.fr

16 years ago

15 points

78.

Semantic Patching in C with Coccinelle

coccinelle.gitlabpages.inria.fr

3 years ago

14 points

79.

3D Gaussian Splatting for Real-Time Radiance Field Rendering

repo-sam.inria.fr

3 years ago

14 points

80.

Linux on the OSF Mach3 microkernel (1996)

11 years ago

13 points

81.

A modular module system [pdf]

6 years ago

13 points

82.

Write a mind-blowing sudoku solver, the thread will drift on webservers. Sh*t.

14 years ago

12 points

83.

SUnit Explained [pdf]

sdmeta.gforge.inria.fr

9 years ago

12 points

84.

A Scheme language for building web 2.0 apps

19 years ago

11 points

85.

Source code of StopCovid19 – French national anticovid's program

gitlab.inria.fr

6 years ago

10 points

86.

Fully Distributed Non-Interactive Adaptively-Secure Threshold Signatures

11 years ago

10 points

87.

Feit-Thompson theorem, major result of group theory, formally certified with Coq

msr-inria.inria.fr

14 years ago

9 points

88.

Towards an Internet of Proof?

4 years ago

9 points

89.

795-bit factoring and discrete logarithms

lists.gforge.inria.fr

7 years ago

9 points

90.

Coq: A program specification and mathematical higher-level language

6 years ago

8 points