crowton Goto Github PK

adventofcode

al-go-rithms

:musical_note: Algorithms written in different programming languages - https://zoranpandovski.github.io/al-go-rithms/

algorithms

DS-Algo-python/C++ (HactoberFest 2020!)

algorithms-4-everyone

Lot of algorithms. Sadly, it is a little bit poor - help with a pull request!

algorithms-and-data-structures

List of data structures and algorithms

algorithms_example

List of Algorithms

bard

csaudk-domserver

Dockerized DOMjudge setup

csaudk-submitj

DOMjudge submit client written in Java

csauhacktoberfest2020

A repository for Hacktoberfest at the Department of Computer Science at Aarhus University

dynamicnoninterference

floodingnetworksafeandlive

This repository contains a coq proof of the flooding agent holding on safety and liveness

general-feedback

Generic feedback app, add your questions and use it to take feedbacks

hacktoberfest

A repository for beginners to get one step closer to Hactoberfest.

hacktoberfest-data-structure-and-algorithms

A repo to contains data structure s and algorithms, regardless of language.

hacktoberfest-mathematics

Math is fun so let's make some scripts and or programs that use some of your favorite math formulas and functions.

hacktoberfest2019

Create your first pull request and get a free Tee from Github and DigitalOcean. 🎉

hacktoberfest2020

Raise Genuine PRs, Your PRs will be accepted, Star This Repo, You aren't allowed to Update README.md

hello-world

Add any Program in any language you like or add a hello world Program ❣️ if you like give us :star:

hello-world-1

Hello World in all possible programmnig languages

opendrinks

:cocktail: Open Source Drinks! Add your own recipe in a pull request!

opensource-tags

Tag descriptions for the tags on opensource.microsoft.com

persistent-functional-trees

python

All Algorithms implemented in Python

pyton_dansk_python

Dette er python bare dansk. Altså pyton

rainbow-code

A repo for code and captions for YouTube video tutorials. . .

smallstepni

Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq

soboolean

sudoku-solver

A program which can solve sudoku using recursion approach.

vigtigside

Crowd-sourced