Giters
Joseph Bakouny (JBakouny)

JBakouny

Geek Repo

37

followers

57

following

35

stars

Company:USJ-ESIB

Home Page:https://orcid.org/0000-0003-4414-3161

Github PK Tool:Github PK Tool

Joseph Bakouny's repositories

Scallina

A Coq-based synthesis of Scala programs which are correct-by-construction

Language:ScalaLicense:GPL-3.0Stargazers:79Issues:5Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4Issues:0Issues:0

FP_Scala_23-24

Language:ScalaStargazers:3Issues:1Issues:0

React

Language:JavaScriptStargazers:3Issues:1Issues:0

FP_Java_23-24

Language:JavaStargazers:2Issues:0Issues:0

FP_Python_23-24

Language:PythonStargazers:2Issues:1Issues:0

NodeBackend

Node

Language:JavaScriptStargazers:2Issues:0Issues:0

Full-MEAN-Web-Stack

Language:HTMLStargazers:1Issues:1Issues:0

NodeExpressExercices

Language:JavaScriptStargazers:1Issues:1Issues:0

React-Native

Language:JavaScriptStargazers:1Issues:0Issues:0

scalafromwhy3

Why3 plugin allowing the extraction of WhyML code to Scala

Language:OCamlLicense:GPL-3.0Stargazers:1Issues:0Issues:0

Cobot19

comit1

Language:KotlinStargazers:0Issues:0Issues:0

CppCanvas

Polymorphism Example

Language:C++Stargazers:0Issues:0Issues:0

Final_POO_2021-2022

Correction du Final POO 2021 - 2022

Language:C++Stargazers:0Issues:0Issues:0

Flask-e-commerce

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

FYP_SnowCoverage_23-24

Stargazers:0Issues:0Issues:0

FYP_SnowCoveredArea

Stargazers:0Issues:0Issues:0

HTML-CSS-JavaScript-exercices

Language:HTMLStargazers:0Issues:1Issues:0

LDrap-CNN

Stargazers:0Issues:0Issues:0

OOP-23-24

Language:C++Stargazers:0Issues:0Issues:0

POO-22-23

Language:CMakeStargazers:0Issues:0Issues:0

POO-Project

Language:QMakeStargazers:0Issues:0Issues:0

React-PWA

Language:JavaScriptStargazers:0Issues:0Issues:0

Refactor-Using-Higher-Order-Java-Functions

Language:JavaStargazers:0Issues:0Issues:0

Remote-Sensing

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

student-tracker

A web app to track your courses and your journey throughout the university

Language:JavaScriptStargazers:0Issues:0Issues:0

TDD-CMake-22-23

Language:C++Stargazers:0Issues:0Issues:0

treehugger

treehugger.scala is a library to code Scala programmatically.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0