Antonino Natale (kwrx)

kwrx

Geek Repo

Company:Università della Calabria

Location:Rende, Cosenza, Italy

Home Page:https://www.linkedin.com/in/antonino-natale/

Github PK Tool:Github PK Tool


Organizations
bioagrisrls
centro-cuore
krarty
mantik-org
nefele-org

Antonino Natale's repositories

aplus

A hobby operating system built mostly from scratch

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

aplus-jvm

A simple Java Virtual Machine for aplus

Language:CLicense:MITStargazers:6Issues:2Issues:0

qasp

A new solver for asp programs with quantifiers over stable models

Language:C++License:GPL-3.0Stargazers:2Issues:2Issues:24

Game-of-Life

A simple C++ implementation of the Game of Life, using Allegro and OpenMP

Language:C++License:MITStargazers:1Issues:2Issues:0

GuitArduino

Midi Controller made with Arduino

Language:C++License:MITStargazers:1Issues:2Issues:0

Lattice-Boltzmann-CA

A simple C++ implementation of the Lattice Boltzmann methods, using Allegro and MPI

Language:C++License:MITStargazers:1Issues:1Issues:0
Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0

aplus-kconfiglib

A flexible Python 2/3 Kconfig implementation and library

Language:PythonLicense:ISCStargazers:0Issues:1Issues:0

aplus-musl

Unofficial repository of musl libc with additional aplus bits

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

aplus-newlib

Unofficial mirror of sourceware newlib repository with additional aplus bits

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

aplus-packages

Package repository for aplus

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

aplus-toolchain

Toolchain (binutils, gcc) for aplus

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

ASP-Solving-Input-Optimizer

A tool that optimizes an input for an Answer Set Programming Solver.

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

clingo

🤔 A grounder and solver for logic programs.

Language:C++License:MITStargazers:0Issues:0Issues:0
Language:JavaLicense:MITStargazers:0Issues:2Issues:0

github-readme-stats

:zap: Dynamically generated stats for your github readmes

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:1Issues:0
Stargazers:0Issues:2Issues:0