Giters
Valoran (valoran-M)

valoran-M

Geek Repo

25

followers

47

following

72

stars

Home Page:https://valeran-maytie.fr/

Github PK Tool:Github PK Tool

Organizations
Nymeria-FR
Tierlist-Bot

Valoran's repositories

ant-colony

Ant simulation project for university at the end of L1

Language:C++License:NOASSERTIONStargazers:5Issues:1Issues:0

Arrakis

[mirror :-] RISC-V Simulator for education

Language:OCamlLicense:NOASSERTIONStargazers:5Issues:1Issues:1

C_programming_language

My notes on the book The C programming language

Language:CStargazers:5Issues:1Issues:0

diqt

Formalization of hashtables with Radix trees and PArray in Coq

Language:CoqLicense:NOASSERTIONStargazers:2Issues:1Issues:0

Keylogger

it is a keylogger with two different clients one for linux and the other for windows and a server that compiles under linux only

Language:CLicense:NOASSERTIONStargazers:2Issues:1Issues:0

Soya

Object oriented langage optimising compiler

Language:OCamlLicense:NOASSERTIONStargazers:2Issues:1Issues:0

.dotfiles

My configuration files

Language:ShellLicense:NOASSERTIONStargazers:1Issues:1Issues:0

miniml

OCaml subset interpreter

Language:OCamlStargazers:1Issues:1Issues:0

totten

Language:PythonLicense:NOASSERTIONStargazers:1Issues:1Issues:0

zenbook-home-manger

Configuration of nixos on my laptop with home manager.

Language:NixStargazers:1Issues:1Issues:0

ARP-spoofing

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

asus_driver_touchpad

Language:CLicense:MITStargazers:0Issues:1Issues:0

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Forbidden_island

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

valoran-M

Stargazers:0Issues:1Issues:0

aoc2023

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

arrakis.vim

Language:Vim ScriptStargazers:0Issues:1Issues:0

compit

Makes compiling and running your code from inside NeoVim enjoyable.

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

course_note_m1

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

gruvbox.nvim

Lua port of the most famous vim colorscheme

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

Latex_diagram

Small collection of latex patterns

Language:TeXStargazers:0Issues:1Issues:0

Louis-a-dit

A joke...

Language:PythonStargazers:0Issues:0Issues:0

misc-builder

Language:ShellLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

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

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0

ppfa

projet de Programmation Fonctionnelle Avancée

Stargazers:0Issues:1Issues:0

river

A dynamic tiling Wayland compositor

Language:ZigLicense:GPL-3.0Stargazers:0Issues:0Issues:0

TierList

Language:PythonStargazers:0Issues:0Issues:0

valorant-s_corp

Language:PythonStargazers:0Issues:1Issues:0

zenbook-nix-system

my nix system config

Language:NixStargazers:0Issues:1Issues:0