canhminhdo Goto Github PK
Name: Canh Minh Do
Type: User
Bio: Computer Science, Software Engineering, Formal Methods.
Blog: canhminhdo.github.io
Canh Minh Do's Projects
awesome-computer-vision
A curated list of awesome computer vision resources
broken-link-checker
Python script check all broken links in a website
cafeobj-vscode-extension
Language CafeOBJ Support for VS Code
canhminhdo.github.io
My Blog
comrade
ComRade: A Tool For Evaluating Race Detectors
convert-cfg-to-cnf-and-cky-algorithm
This project converts CFG grammar to CNF grammar. Then using the CKY algorithm to parse a sentence given the CNF grammar.
cs231n
cs231n: Convolutional Neural Networks for Visual Recognition - Assignment Solutions
dailycodingproblem
My daily coding problem that comes from https://www.dailycodingproblem.com/
dca2mc
A Tableau-based Approach to Model Checking Linear Temporal Properties
dca2mc-rtm
A Divide & Conquer Approach to Model Checking for Real-Time Maude
diracrepr
Coq formalization of a simple quantum imperative language, with Hoare-style logic.
dql
Dynamic Quantum Logic to Verify Quantum Protocols in Maude
fom
A tool for checking the word problem in free orthomodular lattices using model checking
hidden-markov-model-text-generation
Text generation using hidden markov model in C
high-order-calculator
A simple calculator written in C
i217e
Problems for i217e Functional Programming
jpf-parallelization
The parallelization of JPF that takes advantages of JPF to make it running in parallel with many independent instances
ket-as4qc
|AS4QC> - An Algebraic Specification for Quantum Computation in Maude
ket-qcec
|QCEC> - A Tool for Quantum Circuit Equivalence Checking Based on Dirac Notation in Maude
l-1-dca2mc
L+1 Layer Divide and Conquer Approach to LeadsTo Model Checking
maude
Language based on Rewriting Logic
maude-docker
Maude docker image
maude-specs
Maude Specifications
mqt-qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
munit
nielsen-chuang-solutions
A repository of hints and solutions for Michael Nielsen and Isaac Chuang's Book, Quantum Computation and Quantum Information, 10th Anniversary Edition.
parallel-maude-npa
Parallel Maude-NPA for Cryptographic Protocol Analysis
parallel-meta-search
Parallel metaSearch function in Maude
pattern-search
Using memory-access patterns to detect bugs for concurrent Java programs
promela-specs
Promela Specifications for TAS, Qlock, Anderson, and MCS
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.