All Projects → binghe → informatica-public

binghe / informatica-public

Licence: CC0-1.0 license
Public code developed during my MSc study at University of Bologna

Programming Languages

Standard ML
205 projects
java
68154 projects - #9 most used programming language
ocaml
1615 projects
common lisp
692 projects
NetLogo
10 projects
ANTLR
299 projects

Projects that are alternatives of or similar to informatica-public

fm-notes
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
Stars: ✭ 19 (-75.95%)
Mutual labels:  theorem-proving
thesaurus
TT Hackathon 2018 - Autocomplete for Visual Programming Nodes
Stars: ✭ 23 (-70.89%)
Mutual labels:  ml
NimbusML-Samples
Samples for NimbusML, a Python machine learning package providing simple interoperability between ML.NET and scikit-learn components.
Stars: ✭ 31 (-60.76%)
Mutual labels:  ml
DDOS Detection
ddos attack detector using ML Algorithms
Stars: ✭ 38 (-51.9%)
Mutual labels:  ml
gapt
GAPT: General Architecture for Proof Theory
Stars: ✭ 83 (+5.06%)
Mutual labels:  theorem-proving
ai-background-remove
Cut out objects and remove backgrounds from pictures with artificial intelligence
Stars: ✭ 70 (-11.39%)
Mutual labels:  ml
ScaledYOLOv4
Scaled-YOLOv4: Scaling Cross Stage Partial Network
Stars: ✭ 1,944 (+2360.76%)
Mutual labels:  ml
char-rnn-tensorflow
코드를 간결하게 정리하고 한글주석을 추가한 Char-RNN
Stars: ✭ 24 (-69.62%)
Mutual labels:  ml
YOLOv4MLNet
Use the YOLO v4 and v5 (ONNX) models for object detection in C# using ML.Net
Stars: ✭ 61 (-22.78%)
Mutual labels:  ml
aws-ai-ml-workshop-kr
A collection of localized (Korean) AWS AI/ML workshop materials for hands-on labs.
Stars: ✭ 65 (-17.72%)
Mutual labels:  ml
rekcurd-python
Project for serving ML module. This is a gRPC micro-framework.
Stars: ✭ 47 (-40.51%)
Mutual labels:  ml
ml-lpi
Materials for ML course at Lebedev Physical Institute
Stars: ✭ 31 (-60.76%)
Mutual labels:  ml
S2ML-Generators
Multiple notebooks which allow the use of various machine learning methods to generate or modify multimedia content
Stars: ✭ 172 (+117.72%)
Mutual labels:  ml
k3ai-core
K3ai-core is the core library for the GO installer. Go installer will replace the current bash installer
Stars: ✭ 23 (-70.89%)
Mutual labels:  ml
kaggle
Kaggle solutions
Stars: ✭ 17 (-78.48%)
Mutual labels:  ml
gan-vae-pretrained-pytorch
Pretrained GANs + VAEs + classifiers for MNIST/CIFAR in pytorch.
Stars: ✭ 134 (+69.62%)
Mutual labels:  ml
ML-For-Beginners
12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all
Stars: ✭ 40,023 (+50562.03%)
Mutual labels:  ml
SynapseML
Simple and Distributed Machine Learning
Stars: ✭ 3,355 (+4146.84%)
Mutual labels:  ml
oomstore
Lightweight and Fast Feature Store Powered by Go (and Rust).
Stars: ✭ 76 (-3.8%)
Mutual labels:  ml
fix
Allows you to use OpenAI Codex to fix errors in the command line.
Stars: ✭ 72 (-8.86%)
Mutual labels:  ml
author
Chun Tian

informatica-public

Code and documents developed during Chun Tian's MSc of Computer Science study at University of Bologna (Italy).

List of public work (public code):

  • CCS: A formalization of process algebra CCS in HOL4 (MSC exam project)
  • CCS2: Further formalization of process algebra CCS in HOL4 (“tirocinio” project)
  • FOOL: A bytecode compiler and interpreter for FOOL+ language (Exam project for Compilers and Interpreters)
  • cryptanalysis: Differential cryptanalysis on DES (reduced to 4 rounds) (Cryptografia demo code & paper)
  • lambek: Formalized Lambek Calculus in HOL4 (CLP exam project)
  • NetLogo: Percolation threshold calculator for graphs in NetLogo (Complex Systems exam project)
  • CP-VRP: Constraint programming (bike sharing system) in AIMMS (Exam project for Artificial Intelligence (module 2))
  • legalruleml: Consistency checking of legal norms using LegalRuleML (Exam project of Complementi di Basi di Dati)
  • thesis: A Formalization of Unique Solutions of Equations in Process Algebra (MSc degree thesis [http://amslaurea.unibo.it/14798/])
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].