decltypeme Goto Github PK

aws-mobile-ionic-sample

It is a Ionic Sample App that displays how web developers can integrate their front end with AWS on the backend. The App interacts with AWS Cognito, API Gateway, Lambda and DynamoDB on the backend.

bamos.github.io

bewitched-sleep

A C solution to the sleeping TA problem, a version of the sleeping barber problem

circ-min

Open source C++ software for circuit minimization in Boolean algebra.

coauthor

Coauthor supercollaboration/discussion forum

cothority

Scalable collective authority prototype

cs511

dcos-e2e

Spin up and manage DC/OS clusters in test environments

decltypeme.github.io

dit-dah

Morse Code Translator

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

easyteach

Examples for EasyCrypt Lectures

go-links

The open source go links app at the core of Trotto.

golearn

Machine Learning for Go

jsprit

jsprit is a java based, open source toolkit for solving rich vehicle routing problems

katex-browser-extension

This is a browser extension to render math content in web pages using katex.

legacy-website

Islam Faisal

lmfdb

L-Functions and Modular Forms Database

mesos

Apache Mesos

mips-simulator

Simulator for MIPS

mlpack

mlpack: a scalable C++ machine learning library

motifate-me

prio

Prototype implementation of Prio, a system for the private computation of aggregate statistics.

quantum

A project for injecting content in unencrypted TCP traffic and also detecting injected content

quantuminject

risc-victor

RISC-V Utilities

semsem

semsem is a basic shell for Unix/Linux systems

sierra-tango-alpha

Static Timing Analyzer

smiley-epsilon

A library of tools for numerical methods used in engineering applications.

srs-latex

LaTeX book template for a Software Requirements Specification based off the IEEE standards