hileamlakB/Concretization hileamlakB/Concretization

  • Stars
    star
    2
  • Language
    C
  • Created about 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hileamlakB/Concretization
github

hileamlakB

Reviews

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

Repository Details

The idea of concretization is a powerful tool when it comes to understanding already built systems. To understand the answers for this questions one of the best way is to make a small version of the system.This is what this repository is about.

More Repositories

1

Amann

This is a convolutional neural network build to identify Amharic letters. Currently it has an accuracy of about 86% on the test data. I will be improving the dataset as well as the algorithm to build better products. If you are interested, send pull requests. A huge thanks to @Fetulhak for opensourcing his dataset.
Jupyter Notebook
6
star
2

HamsterDB

HamsterDB is a column-store database. It is designed to efficiently store and query large amounts of data. As a column store database, it is optimized for aggregate operations over large rows.
C
2
star
3

retrack-protocol

A safer way to transfer your web3 assets. No more sending money to a dead account! No more worrying about sending your hard earned money to the wrong account
Python
2
star
4

hodor

Scripts written to abuse the flaws of a specific voting sites and cast votes
Python
1
star
5

scalable-Tic-Tac-Toe-game

This is a tic tac toe game that will allow for any width besides the classical 3
JavaScript
1
star
6

Game_91_tg_bot

A telegram bot that facilitates to play the Game 91 card game
Python
1
star
7

STEM2012YearBook

This is a year book in the form of a website for the BDU STEM Incubation center class of 2012E.c. More like a year website
JavaScript
1
star
8

coinage-history

Coinage of the roman repulic is a chronological timeline tool that presents visual and textual information on different roman coins from different times. The app is built with react js and uses data researched from different books.
JavaScript
1
star
9

SMAD

SMAD is a small,asynchronous distributed system that is meant to simulate logical clocks in large distirbuted system. The model runs on a single machine and simulates multiple machines running at different speeds, each with its own logical clock. The model allows messages to be passed between the virtual machines using a sockets.
Python
1
star