ihaveint Goto Github PK

b.sc_thesis

chatcord

A real time chat service made with node and express and using socket.io based on a tutorial from Traversy Media

chicken_invaders

crypto

Lecture notes for a course on cryptography

dafny

Dafny is a verification-aware programming language

developerfolio

🚀 Software Developer Portfolio Template that helps you showcase your work and skills as a software developer.

discretemathematics-english

dmoj-dockercompose

docker-compose file for SchOJ. [This would be useful if you want to install SchOJ/DMOJ.]

dmoj-judge-1

Docker image of SchOJ/DMOJ judge server.

elixir

Elixir is a dynamic, functional language designed for building scalable and maintainable applications

film-dialogues-sip

fructure

a structured interaction engine 🗜️ ⚗️

game_of_life

gatsby-starter-default

The default Gatsby starter

homepage-ihaveint.com

homeworks_and_exams

ihaveint

ihaveint.github.io

jekyll-blog-demo

Base for a static website blog - built with Jekyll and the default theme

kademlia

monkey

Interpreter for the monkey language, written in Go

online-cv

paper-checker

Find simple grammar mistakes in scientific documents.

parsynt

Automatic parallel divide-and-conquer programs synthesizer

pl-project

rashmap

Concurrent hash map implementation with rust

react-fundamentals

Material for my React Fundamentals Workshop

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

snippetbox

This project is built while I'm reading Alex Edwards "Let’s Go" book.