teknomo

See: https://people.revoledu.com/kardi/tutorial/index.html

Revoledu

Pinned Repositories

Automatic-Question-Generator
Automatic Question Generator from TEXT
Language:Python00
Automatic-Theorem-Prover
A Python program that tries to prove a statement given a set of propositions in first order logic.
Language:Python00
chatbot
conversational bot
Language:Python10
city-roads
Visualization of all roads within any city
Language:JavaScript00
IdealFlowNetwork
Ideal Flow Network (IFN) is a Python module and library to compute network efficiency to analyze transportation network, communication networks and data science..
Language:Python16 4 26
ifn-transport
IFN-Transport is an extension of Ideal Flow Network (IFN) for transportation networks synthesis and analysis.
Language:Python8 1 21
MetroManilaTrafficAccidentData
Metro Manila Traffic Accident Data 2005 - Q1 2017
00
prime
JavaScript Number Theory Library
Language:JavaScript10
theorem-prover
An automated theorem prover for first-order logic.
Language:Python40

teknomo/IdealFlowNetwork
Ideal Flow Network (IFN) is a Python module and library to compute network efficiency to analyze transportation network, communication networks and data science..
Language:Python16 4 26
teknomo/ifn-transport
IFN-Transport is an extension of Ideal Flow Network (IFN) for transportation networks synthesis and analysis.
Language:Python8 1 21
teknomo/theorem-prover
An automated theorem prover for first-order logic.
Language:Python40
teknomo/chatbot
conversational bot
Language:Python10
teknomo/prime
JavaScript Number Theory Library
Language:JavaScript10
teknomo/Automatic-Question-Generator
Automatic Question Generator from TEXT
Language:Python00
teknomo/Automatic-Theorem-Prover
A Python program that tries to prove a statement given a set of propositions in first order logic.
Language:Python00
teknomo/city-roads
Visualization of all roads within any city
Language:JavaScript00
teknomo/MetroManilaTrafficAccidentData
Metro Manila Traffic Accident Data 2005 - Q1 2017
00
teknomo/faceswap
Deepfakes Software For All
teknomo/first-order-model
This repository contains the source code for the paper First Order Motion Model for Image Animation
teknomo/IFN
Ideal Flow Network
teknomo/opencv
Open Source Computer Vision Library
Language:C++
teknomo/pyinterval
PyInterval — Interval arithmetic in Python
Language:Python
teknomo/TransportationNetworks
Transportation Networks for Research