leunam217

Pinned Repositories

.doom.d
Language:Emacs Lisp00
embedded-form-glue
Embedded Form Glue JavaScript library
Language:HTML00
ExemplesMoodleXML
Exemples de fichiers au format Moodle XML
00
hegel
An advanced static type checker
Language:JavaScript00
ivvq-2020-project-rocket
ivvq-2020-project-rocket created by GitHub Classroom
Language:Java00
learn-ocaml
A Web Application for Learning OCaml
Language:OCaml00
scaa
Language:Java10
learn-ocaml
A Web Application for Learning OCaml
Language:JavaScript304 16 25266
learn-ocaml-editor
https://github.com/pfitaxel/learn-ocaml/tree/learn-ocaml-editor (←new URL) − Editor for the learn-ocaml web application
Language:JavaScript2 5 310
learn-ocaml.el
Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/learn-ocaml) [maintainer=@erikmd]
Language:Emacs Lisp7 7 41

leunam217's Repositories

leunam217/scaa
Language:Java10
leunam217/.doom.d
Language:Emacs Lisp00
leunam217/embedded-form-glue
Embedded Form Glue JavaScript library
Language:HTML00
leunam217/ExemplesMoodleXML
Exemples de fichiers au format Moodle XML
00
leunam217/hegel
An advanced static type checker
Language:JavaScript00
leunam217/ivvq-2020-project-rocket
ivvq-2020-project-rocket created by GitHub Classroom
Language:Java00
leunam217/learn-ocaml
A Web Application for Learning OCaml
Language:OCaml00
leunam217/login-generator
Language:Java
leunam217/mcs
Repository for mcs project
Language:Java
leunam217/my-simple-stack
Language:Java
leunam217/numberguessinggame
Language:TypeScript
leunam217/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
Language:Rust
leunam217/university_project
Random spring project
Language:Java
leunam217/zio-sql
Type-safe, composable SQL for ZIO applications