vikashkodati Goto Github PK
Name: Vikash Kodati
Type: User
Location: Seattle, WA
Name: Vikash Kodati
Type: User
Location: Seattle, WA
master repository for the ficlop demo
FLEG (Fast Latex Equation Generator) by Karl Christoph Gödel
Satellite based fog and low stratus detection and nowcasting
A slack bot written in golang for Seattle food trucks
UCalgary version of forallx, an introduction to formal logic
A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
GDAL is an open source X/MIT licensed translator library for raster and vector geospatial data formats.
My fable attempt to collect some ideas I got while reading the awesome book `Gödel, Escher, Bach: An Eternal Golder Braid' by Douglas R. Hofstadter (http://www.amazon.com/dp/0394756827).
A GO API library for working with Marathon
a small project using NLP
Encodes and decodes "Gödel Numbers" as described in the book "Gödel's Proof" by Ernest Nagel and James R. Newman.
Implementation of GEB puzzle[s?]
Gödel.js: A simplified arithmetic built from a minimal set of primitives and applications of recursion and composition.
godel is back! he's going to godel your theorem!
The number of the beast - compute the Gödel sentence
Formalizations of Gödel's Ontological Proof of God's Existence
Code for the paper "Language Models are Unsupervised Multitask Learners"
Public library of space documents and tutorials
Support resources and materials for http://hacktober.tmo.io
Create agents that monitor and act on your behalf. Your agents are standing by!
Used to build hugo sites, image comes pre-installed with hugo
Hugo theme—Slim—Dark
The source for https://gohugo.io/
Blockchain-based, highly auditable access management solution (directory service)
Hystrix is a latency and fault tolerance library designed to isolate points of access to remote systems, services and 3rd party libraries, stop cascading failure and enable resilience in complex distributed systems where failure is inevitable.
ImageScrapper
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.