Explore projects

G

KHERRAZ Mohamed / Graph_partitioning

0

Updated Nov 24, 2023

0 0 0 0

Updated Nov 24, 2023
I

AMIBIO / Infrared bookchapter

The Infrared bookchapter (for Ronny)

0

Updated Feb 27, 2023

0 0 0 0

Updated Feb 27, 2023
I

Robin GERZAGUET / IRISA_Template_Beamer

0

Updated Jun 10, 2023

0 0 0 0

Updated Jun 10, 2023
I

HERBELIN Hugo / itauto
MIT License

Itauto: an Extensible Intuitionistic SAT Solver

0

Updated Mar 06, 2023

0 0 0 0

Updated Mar 06, 2023
I

BESSON Frederic / itauto
MIT License

Itauto: an Extensible Intuitionistic SAT Solver

3

Updated Nov 24, 2023

3 5 0 3

Updated Nov 24, 2023
L

gitlabci_gallery / latex / latex-beamer
BSD 3-Clause "New" or "Revised" License

1

Updated Aug 25, 2023

1 0 0 1

Updated Aug 25, 2023
L

Damien Robert / latex-files

Custom latex files

0

Updated Jul 31, 2023

0 0 0 0

Updated Jul 31, 2023
VOYEZ Antonin / LaTeX template

PhD thesis LaTeX template for the 11 doctoral schools in Brittany and Pays de Loire. Project initiated by former PhD students at the MathSTIC doctoral school in collaboration with the doctoral school.

0

Updated Mar 16, 2023

0 0 0 0

Updated Mar 16, 2023
L

WILL Sebastian / LocARNA Bookchapter

The LocARNA 2.0 bookchapter (for Ronny)

0

Updated Mar 30, 2023

0 0 0 0

Updated Mar 30, 2023
L

phdChenYan / lp_update

LP-update policy and applications on multi-action RB

0

Updated Nov 29, 2023

0 0 0 0

Updated Nov 29, 2023
LINE / aide / main

The AIDE project software development bundle

0

Updated Nov 04, 2023

0 0 0 0

Updated Nov 04, 2023
M

BAILLON Martin / Manuscript

0

Updated Nov 24, 2023

0 0 0 0

Updated Nov 24, 2023
M

GUILLOTEAU Quentin / manuscript-thesis
MIT License

1

Updated Nov 27, 2023

1 0 0 0

Updated Nov 27, 2023
M

BODIN Martin / Math Coq Tests

0

Updated Jun 26, 2023

0 0 0 0

Updated Jun 26, 2023
M

COMPO / mdbook-bib
Mozilla Public License 2.0

0

Updated Mar 01, 2023

0 0 0

Updated Mar 01, 2023
M

Jens Gustedt / Modern C
MIT License

0

Updated Oct 31, 2023

0 0 0 0

Updated Oct 31, 2023
N

GUYET Thomas / negative-patterns

0

Updated Sep 19, 2023

0 0 0 0

Updated Sep 19, 2023
COAST / Mécanismes de sécurité pour les systèmes collaboratifs sans autorité centrale / Notes

notes de thèse pour Pierre-Antoine Rault - dernier rapport

Topics: crdt access control latex
+ 1 more

1

Updated Oct 23, 2023

1

Updated Oct 23, 2023
O

ocaml-folks / ocaml-semantics

0

Updated Nov 14, 2023

0 0 0 0

Updated Nov 14, 2023
Org mode and Guix tutorial - Guix HPC Workshop / studies / Org-modized

Minimal working example of an experimental study written in Org mode

0

Updated Nov 08, 2023

0 0 0 0

Updated Nov 08, 2023