Ernesto Casablanca (TendTo)

TendTo

Geek Repo

Location:Newcastle

Github PK Tool:Github PK Tool


Organizations
UNICT-DMI
UniCT-WebDevelopment

Ernesto Casablanca's repositories

Tutorato-Reti-di-Calcolatori

Tutorato del corso Reti di Calcolatori @UNICT-DMI 2022/2023

Language:CStargazers:40Issues:4Issues:0

Tutorato-Ingegneria-del-Software

Tutorato del corso Ingegneria del Software @UNICT-DMI 2022/2023

Language:JavaStargazers:32Issues:5Issues:0

Appunti-Blockchain

Appunti Blockchain 2021/2022 LM-18

Language:TypeScriptStargazers:5Issues:1Issues:0

Id-based-Proxy-Signature-Scheme-with-Message-Recovery

Prototype implementation written in c of the Id based Proxy Signature Scheme with Message Recovery created by Singh and Verma and improved by Zhou

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

Tutorato-Template

Simple template for creating slides just using markdown and some extensions

Language:ShellStargazers:3Issues:0Issues:0

dlinear

Refactor of dLinear4 https://github.com/martinjos/dlinear4

Language:C++License:Apache-2.0Stargazers:2Issues:2Issues:0

rules_doxygen

This repository contains a Starlark implementation of Doxygen rules in Bazel

Language:StarlarkLicense:Apache-2.0Stargazers:2Issues:0Issues:0

oh-my-posh

The most customisable and low-latency cross platform/shell prompt renderer

Language:GoLicense:MITStargazers:1Issues:0Issues:0

Verbasizer

Simple Verbasizer. Heavily inspired by https://verbasizer.com/

Language:CSSLicense:MITStargazers:1Issues:1Issues:0

IAC-AD

All in one solution to painlessly setup an A/D competition by using IAC and automation tools such as Terraform and Ansible

Language:HCLStargazers:0Issues:3Issues:0

advent-of-code

Solutions for the advent of code problems I was able to solve

Language:PythonStargazers:0Issues:2Issues:0

awesome-advent-of-code

A collection of awesome resources related to the yearly Advent of Code challenge.

Stargazers:0Issues:0Issues:0

bazel-central-registry

The central registry of Bazel modules for the Bzlmod external dependency system.

Language:StarlarkLicense:Apache-2.0Stargazers:0Issues:0Issues:0

bazel-cpp-template

C++ project template using the build system Bazel with support for modules

Language:StarlarkStargazers:0Issues:0Issues:0

bazel_iwyu

IWYU Support for Bazel

Language:StarlarkLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

dlinear4

Linear delta-complete SMT solver, based on dreal4 (https://github.com/dreal/dreal4)

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0
Language:ShellStargazers:0Issues:2Issues:0

NUCATS-Discord-Bot

Discord bot for managing the NUCATS discord server

Stargazers:0Issues:0Issues:0

python-telegram-bot

We have made you a wrapper you can't refuse

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

qsopt-ex

dlinear4's modified version of martin's qsopt-ex (https://github.com/martinjos/qsopt-ex). Included in dlinear as a dependency

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

reveal.js

The HTML Presentation Framework

License:MITStargazers:0Issues:0Issues:0

rules_boost

bazel build rules to use boost in bazel projects

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

smats

SMT symbolic evaluator

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

soplex

Sequential object-oriented simPlex

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

symaware

Website to disseminate the research of the SymAware project.

Stargazers:0Issues:0Issues:0
Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

Telegram-SpottedDMI-Bot

Telegram-SpottedDMI-Bot is the platform that powers @Spotted_DMI_Bot, a Telegram bot that let students send an anonymous message to the channel community.

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

Topic-Carousel

Carousel with infinite scroll with the ability to filter items through topics with no dependency.

Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0