Vincenzo Pace (DerDoni)

DerDoni

Geek Repo

Company:Karlsruhe Institute of Technology | KIT

Location:Germany

Github PK Tool:Github PK Tool

Vincenzo Pace's repositories

sublime_latex_snippets

Here I keep all my latex snippets for sublime Text 3. Maybe someone finds and uses them.

99_haskell_problems

Solving the 99 Haskell Problems from the Haskell Wiki to learn the language

Language:HaskellStargazers:0Issues:2Issues:0
Language:HaskellStargazers:0Issues:0Issues:0
Language:NixStargazers:0Issues:0Issues:0

Domain-Guided-Monitoring

Can we use domain knowledge to better monitor complex systems?

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:2Issues:0

haskell_wikibook

Working through the Wikibook and solving problems along the way

Language:HaskellStargazers:0Issues:2Issues:0

loghub

A large collection of system log datasets for log analysis research

Stargazers:0Issues:0Issues:0

nix-config

My personal configuration of NixOS

Language:NixStargazers:0Issues:2Issues:0

nix-gui

Nixos for Non-Programmers

Language:PythonLicense:MITStargazers:0Issues:1Issues:0
Language:NixStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

Rust

All Algorithms implemented in Rust

Language:RustLicense:MITStargazers:0Issues:1Issues:0

Supporting-Meditative-Awareness-through-Neurofeedback-Wearables

Paper for the proseminar at Karlsruhe Institute of Technology

Language:TeXStargazers:0Issues:2Issues:0

opbg

One Piece Browsergame

Language:PythonStargazers:0Issues:0Issues:0

ragflow

RAGFlow is an open-source RAG (Retrieval-Augmented Generation) engine based on deep document understanding.

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:2Issues:0

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:0Issues:1Issues:0