dannywillems/umons-latex-rapport-de-stage-template dannywillems/umons-latex-rapport-de-stage-template

  • Stars
    star
    1
  • Language
    TeX
  • Created about 8 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dannywillems/umons-latex-rapport-de-stage-template
github

dannywillems

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Template LaTeX pour un rapport de stage pour l'UMons.

More Repositories

1

ocaml-for-web-programming

OCaml for web programming
48
star
2

RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
OCaml
37
star
3

ocaml-cordova-plugin-list

List of bindings in OCaml to cordova plugins.
25
star
4

web-ocaml-rust-tuto

List of tutorials/projects experiencing OCaml and Rust mixed code running together in the browser.
OCaml
9
star
5

ocaml-cordova

Create your own Cordova plugin in OCaml
OCaml
9
star
6

dsubml

OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
OCaml
9
star
7

docker-qtcreator

Docker container for qtcreator
8
star
8

ocaml-influxdb

OCaml interface to the time series database InfluxDB
OCaml
6
star
9

ocaml-materializecss

Create HTML elements in OCaml using Material Design (MaterializeCSS)
OCaml
6
star
10

js_of_ocaml_libraries

DEPRECATED: See https://github.com/dannywillems/ocaml-for-web-programming.
6
star
11

minilibx-mac-osx

Minilibx (native version for Mac OSX), a basic graphical library in C for 42 and Epitech students
C
6
star
12

minilibx

Minilibx, a basic graphical library in C for 42 and Epitech students
C
5
star
13

ocaml-arduino

Arduino information to run OCaml on Arduino
5
star
14

Makefiles

List of makefiles for different projects
Makefile
5
star
15

types-and-programming-languages-pierce-implementation

Implementation in different programming languages of exercices given in « Types and Programming Languages » by Benjamin C. Pierce.
OCaml
5
star
16

jsoo-lib

Additional functions to js_of_ocaml bindings to Javascript standard library.
OCaml
5
star
17

ocaml-cordova-plugin-push-notifications

Binding in OCaml to phonegap-plugin-push using gen_js_api.
OCaml
4
star
18

easy-install

Manage easily the installation of your softwares.
Python
4
star
19

master-thesis

My master thesis on RML : In French.
TeX
4
star
20

awesome-books-articles

A list of awesome books, articles and websites of several subjects like mathematical logic, type theory, category theory.
4
star
21

ocaml-cordova-example

Example of the binding to the cordova object
Makefile
4
star
22

ocaml-js-stdlib

Binding in OCaml to the javascript standard library
OCaml
3
star
23

docker-ocsigen-start

Docker container for ocsigen-start.
3
star
24

tezos-white-paper

Tezos White Paper. See https://github.com/tezos/tezos.
TeX
3
star
25

radix-dlt-python

Python client to Radix DLT
Python
3
star
26

js_of_ocaml_exercices

List of exercices to learn how to use js_of_ocaml.
Makefile
2
star
27

ocaml-node-list

List of OCaml bindings to NodeJS packages using gen_js_api.
2
star
28

vim-icalendar

Vim plugin for icalendar files. Based on Steven Severinghaus syntax file
Vim Script
2
star
29

latex-macros-math

A set of LaTeX macro for mathematics
TeX
1
star
30

terminator

Terminator: console emulator. Mirror.
Python
1
star
31

ocaml-cordova-plugin-qrscanner

Binding in OCaml to cordova-plugin-qrscanner using gen_js_api.
OCaml
1
star
32

os-oauth2-openid-connect-client-example

OAuth2 and OpenID Connect client example using ocsigen-start.
OCaml
1
star
33

ocaml-microservices

WIP. A list of ready-to-use microservices written in OCaml.
1
star
34

ocaml-css

Typed CSS in OCaml
1
star
35

setup-scripts

Scripts I use when I need to setup a new dev machine for me.
Shell
1
star
36

ocaml-bootstrap

OCaml + Tyxml + bootstrap = typed, W3C conformed, beautiful HTML pages in few lines.
1
star
37

ocaml-ec

Play with elliptic curves in OCaml
OCaml
1
star
38

ocaml-carray

contiguous C arrays in OCaml
OCaml
1
star
39

ocaml-cordova-plugin-vibration-example

Example of the binding to the vibration cordova plugin.
Makefile
1
star
40

ocaml-cordova-plugin-geolocation

Binding in OCaml to cordova-plugin-geolocation using gen_js_api.
OCaml
1
star
41

tezos-position-paper

Tezos Position paper. See https://github.com/tezos/tezos
TeX
1
star
42

ocaml-cordova-plugin-vibration

Binding in OCaml to cordova-plugin-vibration using gen_js_api.
Shell
1
star
43

scala-micro-service-user

Micro service for basic user management, written in Scala.
Scala
1
star
44

ocaml-microservice-cropping-picture

A microservice with database to crop picture written in OCaml.
Makefile
1
star
45

ocaml-bls12-381

Fast BLS12-381 implementation in OCaml
Assembly
1
star
46

ocaml-ff

OCaml
1
star
47

opensource-alternative

List of existing and must-have open source alternatives to popular softwares.
1
star
48

ocaml-cordova-plugin-sms-example

Example of the binding to the sms cordova plugin.
JavaScript
1
star
49

rapport-de-stage

Rapport de stage de master 2
TeX
1
star