edoardopirovano

edoardopirovano's Stars

• jcjohnson/neural-style

  Torch implementation of neural style algorithm

  Language:Lua18.3k6354392.7k

• facebook/Haxl

  A Haskell library that simplifies access to remote data, such as databases or web-based services.

  Language:Haskell4.3k19437314

• typedb/typedb

  TypeDB: the power of programming, in your database

  Language:Rust3.8k1192.4k338

• github/codeql-action

  Actions for running CodeQL analysis

  Language:TypeScript1.2k40365323

• github/vscode-codeql

  An extension for Visual Studio Code that adds rich language support for CodeQL

  Language:TypeScript42738447188

• typedb/typeql

  TypeQL: the power of programming, in your database

  Language:Java2191412246

• GunshipPenguin/shallow-blue

  UCI Chess engine written in C++11

  Language:C++668713

• cyanfish/python-lichess

  Python client for the lichess.org API

  Language:Python535913

• ophrescue/RescueRails

  Helps save cute cuddly puppies!

  Language:Ruby35860422

• github/gh-codeql

  GitHub CLI extension for working with CodeQL

  Language:Shell303810

• ppmx/sudoku-solver

  Sudoku Solver using Z3

  Language:C++18217

• Mar5bar/VisualPDECanary

  Language:JavaScript7108

• edoardopirovano/rl-segmentation

  Fourth year project on Reinforcement Learning applications to image segmentation

  Language:Scala5014

• lacework/code-security-action

  Language:TypeScript5500

• edoardopirovano/investor-sentiment

  Investor sentiment analysis group design project

  Language:JavaScript2401

• edoardopirovano/QLSyntax

  Syntax plugin for QL in Sublime Text 3

  2002

• edoardopirovano/wadhamball

  Website for the Wadham Ball

  Language:Scala2201

• edoardopirovano/blackjack-montecarlo

  Monte Carlo solver for blackjack

  Language:Scala1002

• edoardopirovano/dbsi-exam

  Database Systems Implementation Exam

  Language:Java1001

• edoardopirovano/psv

  Language:Java1000

• PaulGainer/PMC

  Incremental Verification of Parametric and Reconfigurable Markov Chains -- Prototype implementation for analysis of VPMC reconfigurations.

  Language:Python120

• Richiecakes/PrinType

  Generates formal proofs for principal type deductions of terms in the simply typed lambda calculus.

  Language:Haskell1200

• robertbastian/first-class-fun

  Fourth year project. Adding first-class functions to a language/compiler/virtual machine.

  Language:C1100