smbct's repositories

LOLH

Learning Optimized Logical Hypothesis: a machine learning algorithm for the framework LFIT

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

AAN-reach

Reachability solving in Asynchronous Automata Networks

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

ACO-CSP

Ant colony optimization algorithms for the Closest String Problem

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

blog_code

Some piece of code for the blog

Language:DMLicense:MITStargazers:0Issues:1Issues:0
Language:CLicense:MITStargazers:0Issues:2Issues:0

KP-BB

Branch and Bound algorithm for knapsack problem (01KP)

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

Magic-square

Constraint Programming project

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

OpenNI

OpenNI

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

pympress

fork from Pympress

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

smbct.github.io

Personal blog

Language:SCSSLicense:NOASSERTIONStargazers:0Issues:0Issues:0

SPP-VNS

Metaheuristics for the set packing problem

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

sudo_solver_rust

A simple recursive solver for the sudoku, written in Rust

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

Vector-shooter

Simple shooter game, from a tutorial

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

x86-64_101_linux

Learning x86-64 assembly

Language:AssemblyLicense:MITStargazers:0Issues:1Issues:0