• Stars
    star
    1
  • Language
  • Created almost 3 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

Formal Methods Specification to model the "Lamport Bakery" using an invented language

More Repositories

1

Dotfiles

๐Ÿ’ Unix rice wet dream ~ [i3-gaps, zsh, vim, polybar, dunst, firefox]
C++
9
star
2

Assembly-Practice

๐Ÿ’ป ARM, ASM and similar computer languages for all! :P
Assembly
7
star
3

MyBB-Automation

๐Ÿ”ง Automate simple tasks with Python. Get your PM's, detect SPAM and even get recent threads in your own console.
Python
6
star
4

Functional-Programming

:neckbeard: Data Structures and solution to Functional Programming problems, for now implemented in Haskell.
Haskell
5
star
5

Electronics-VideoTutorials

๐ŸŽฅ Electronics Series of tutorial videos in Spanish. Starting from the basics and with excercises to practice.
4
star
6

ARM-VideoTutorials

๐ŸŽฅ ARM Series of tutorial videos in Spanish. Starting from the basics and with excercises to practice.
3
star
7

paste-parsers

Download pastes from famous paste sites.
Python
3
star
8

AprendeAyudando

Aprende Ayudando es una plataforma que permite de forma sencilla organizar cursos y eventos solidarios.
JavaScript
3
star
9

PhotoNet

PhotoNet: Simple Flask Twitter/Instagram Clone
Python
2
star
10

.dotfiles-Kali

โ™ฅ๏ธ Pentest with style!
Vim Script
2
star
11

TriviaCardGenerator

๐Ÿฅ… Django web app to generate trivia cards. Optimized for publishing them to instagram.
Python
2
star
12

Eduality

A community driven page sorted by a fair algorithm
CSS
1
star
13

cryptoVolumeAnalysis

Analysis of crypto market volume by day and hour to see best trading hours.
Jupyter Notebook
1
star
14

qr-away

Generate QRs from scoop links for easy distribution to clients
C
1
star
15

Astral-Github-Stars-Parser

โญ Github Stars Management by using Astral and a Python Script
Python
1
star
16

LaTeX-and-MatLAB

๐Ÿ““ Ejercicios de prรกctica de LaTeX y MatLAB.
MATLAB
1
star
17

TradingRoom-Preview

Preview the chart of coins without leaving the scanner.
JavaScript
1
star
18

PCBs-and-Circuits

๐Ÿ“Ÿ PCBs, Circuits, CPUs and everything electronics related. Some are just prototypes. Logisim and/or eagle are used for these projects.
1
star
19

LeagueOfLegendsStats

๐ŸŽฎ A League of Legends Stats App based on Electron and League Developer API.
JavaScript
1
star
20

ResourceLinkTree

Create a tree of links with D3.js from a .json file or Firebase
JavaScript
1
star
21

Vash

An intelligent shell with Vim-Like capabilities. (abandoned because wasn't aware of other bigger existing projects)
C
1
star
22

MyBB-ML-Spam-Filter

MyBB Machine Learning spam filter based in a bayesian classifier and Flask API.
Python
1
star
23

C-Cplusplus

๐Ÿ““ C or C++ projects. Basically to understand concepts.
C++
1
star
24

Raspberry-Pi-Barebones

๐Ÿ‡ Playing with GPIOs and Interrupts in ARM
Assembly
1
star