techcentaur/Krivine-Machine

Stars
38
Rank 707,194 (Top 14 %)
Language
OCaml
Created over 6 years ago
Updated over 6 years ago

techcentaur/Krivine-Machine

techcentaur

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Abstract krivine machine implementing call-by-name semantics. In OCaml.

Flocking-Simulation

Flocking simulation of starling murmuration using web graphics library (webGL) and openGL shader language in javascript.

PyLex

Perform lexical analysis on words, one word at a time.

CPU-ARM

Design and implementation of a complete ARM based CPU.

gobatch

GOlang package for efficient and robust rate-limiter for concurrent asynchronous batch processing

The-GrandFather

Text analysis of all dialogues spoken by Rick and Morty; Visualised

Bitcoin-Simulation

Simulating an implementation of complete Bitcoin system with multi-transaction support

Scraping-Product-Info

WebApp for scraping product information from Amazon and eBay

Neural-Network-Python

Feed-forward Neural network implementation in python - using numpy library.

Lyrics-scraper

Scrapes the lyrics of songs.

Autofill-Moodle

A chrome extension which auto-fills the captcha in moodle and internal website webmail of IIT Delhi.

Gavy

A CLI based virtual assistant to make life easier. Works through NLP.

Chunking-NER

Chunking Data techniques in Named Entity Recognition(NER) using NLP libraries and algorithms

DHT

Distributed Hash Tables (DHT) Implementation // Pastry + Chord

Data-is-Cool

A brief guide to learn data-visualisation, by learning how the functions work and intuitions in practice.

Jupyter Notebook

XV6-Syscalls-IPC

Introducing new system calls and inter-process-communication in xv6

COL216-Lab-Assignments

Computer Architecture - COL216 Lab Assigments

Instagator

Sneaking people on Instagram. Easy as it sounds.

Dockerization-xv6

Virtualization of toy operating system xv6

Selenium-Automation

Web Automation through Selenium in python with the help of geckodriver in Firefox

Book-Worm

Given author name get all the books, pages, and information related.

UART-Project

Universal Asynchronous Receiver-Transmitter. Semester project of Digital Logic and System Design course of fall 2017, IIT Delhi.

Binary-Tree

Binary Tree Implementation

AdventToCode-2017

code for AdventToCode-2017 programming practises

Libretto

Analyse songs you like, get results you don't. Works through NLP.

BSW-Website2017

This repo contains the code for the PHP-based website of the organisation Board of Student Welfare - IITDelhi.

Formal-Case-Studies

Formal Specifications of EVM and PDS Design

COL226-Assignments

The code in this repository is relevant to the assignments given in the course COL226, taught by Prof. Sanjiva Prasad, in IIT Delhi, 2nd semester, 2017-2018.

TextScan

Summarise or analyse files, one file at a time.

Thor

Cool Algorithms and Their Implementations

Yinsh-Aae-Aai

Machine-Learning-Stanford

This repository is in correspodance with the assignments of Stanford University course on Machine Learning by Andrew Ng

Data-Mining-Assignments

Data-Mining-Assignments

Hadoop-doop

Summary of Hadoop distributed file system (HDFS) and its deployment on multi-node cluster.

EnactusIITD-Website

Enactus IIT Delhi - Official Website 2017.

Seven-Segment-Display-VHDL-FPGA-Basys3

seven segment display on the Basys3 FPGA board code written in VHDL

TF-IDF

Bare Implementation of Term-frequency Inverse-document-frequency and Finding Top K Docs with Cosine Similarity on Vector Space

Facebook-bot-AI

Facebook messenger bot built in flask deployed on heroku which works through NLP-Techniques.

Flask-Microblog

Microblog in flask-framework python3 and the codes in the book Flask Web Development - 'Developing Web Applications with Python' by Miguel Grinberg