Explore projects
-
-
-
DIAZ Jerome / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
Updated
-
cambium / cosmo
BSD 3-Clause "New" or "Revised" LicenseConcurrent Separation Logic for Multicore OCaml
Updated -
Updated
-
UpdatedUpdated
-
Updated
-
ARRIVAULT Denis / latex-beamer
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
-
-
-
MOSAIC / bvpy
OtherBvpy is a python library, based on FEniCS, Gmsh & Meshio, to easily implement and study numerically Boundary Value Problems and Initial Boundary Value Problems through the Finite Element Method.
Updated -
Thierry Martinez / latex-beamer
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
COMPO / mdbook-bib
Mozilla Public License 2.0Updated -
Minimal working example of an experimental study written in Org mode
Updated -
GALLEGO ARIAS Emilio Jesus / itauto
MIT LicenseItauto: an Extensible Intuitionistic SAT Solver
Updated