Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by oleks
A curated list of projects in awesome lists by oleks .
https://github.com/oleks/eduroam-wpa_supplicant
A sample wpa_supplicant configuration file for eduroam; deprecated
Last synced: 30 Oct 2024
https://github.com/oleks/hreyfan
A Programming Language for Mobile Code
distributed-systems mobile-code programming-language
Last synced: 30 Oct 2024
https://github.com/oleks/latex-template
My LaTeX template and survival pack.
Last synced: 30 Oct 2024
https://github.com/oleks/oopd-public
Public content for the DIKU 2012 OOPD course.
Last synced: 30 Oct 2024
https://github.com/oleks/calwerk
Query the number of busy hours in ics calendars
Last synced: 30 Oct 2024
https://github.com/oleks/fptp-teller
A tally system for First Past The Post elections.
Last synced: 30 Oct 2024
https://github.com/oleks/funtask
FunTask — Functional Programming with Tasks
Last synced: 30 Oct 2024
https://github.com/oleks/install.py
A simple, file-system-based install utility
Last synced: 30 Oct 2024
https://github.com/oleks/binary16
Emulating binary, half-precision IEEE-754 (2008) floats
binary16 half-precision ieee754
Last synced: 30 Oct 2024
https://github.com/oleks/refactoring
Refactoring — Software Development 2016
Last synced: 30 Oct 2024
https://github.com/oleks/phd
Towards a PhD at the University of Oslo—Mobility-Oriented Programming
Last synced: 30 Oct 2024
https://github.com/oleks/trafaret
Template-Driven Programming Exercises
exercise programming templates
Last synced: 30 Oct 2024
https://github.com/oleks/writing-technical-reports
Providing an overview that code alone cannot provide
Last synced: 30 Oct 2024
https://github.com/oleks/zonearea
A collection of tools for computing the areas of transport zones around the world
Last synced: 30 Oct 2024
https://github.com/oleks/docker-debian-builder
A Debian with build-essential, flex, and bison installed
Last synced: 30 Oct 2024
https://github.com/oleks/osm-re-exam-2015
OSM (pronounced 'AWESOME') re-exam 2015
Last synced: 30 Oct 2024
https://github.com/oleks/onlineta
The bare bones of an online teaching assistant
Last synced: 30 Oct 2024
https://github.com/oleks/mrk-idris
MRK — A file format for marking student work
Last synced: 30 Oct 2024
https://github.com/oleks/funtask-idris
An implementation of FunTask in Idris
Last synced: 30 Oct 2024
https://github.com/oleks/compsys-archive
An archive and up-to-date material for a Computer Systems course
Last synced: 30 Oct 2024
https://github.com/oleks/docker-debian-i386
A Debian with an i386 variant of GNU Lib C
Last synced: 30 Oct 2024
https://github.com/oleks/docker-alpine-scrapy
An Alpine with Python3 and Scrapy installed
Last synced: 30 Oct 2024
https://github.com/oleks/alpiner
A Docker image for building Alpine packages
Last synced: 30 Oct 2024
https://github.com/oleks/docker-hakyll
An Alpine with Haskell, Cabal, and Hakyll Installed
Last synced: 30 Oct 2024
https://github.com/oleks/docker-alpine-idris-lightyear
A Docker image with Idris and lightyear installed
Last synced: 30 Oct 2024
https://github.com/oleks/docker-gollum
An Alpine with Ruby and Gollum installed
Last synced: 30 Oct 2024
https://github.com/oleks/docker-alpine-idris
A Docker image running Idris, based on Alpine Linux
Last synced: 30 Oct 2024
https://github.com/oleks/ccc17
Free Summer Workshop on Compositional Compiler Construction
Last synced: 30 Oct 2024
https://github.com/oleks/docker-alpine-haskell-pl-dev
An Alpine Linux-based Docker image for PL-development using Haskell
Last synced: 30 Oct 2024
https://github.com/oleks/docker-in5570v20
An Emerald installation for IN5570v20
Last synced: 30 Oct 2024
https://github.com/oleks/configuration-management
Configuration Management — Software Development 2016
Last synced: 30 Oct 2024
https://github.com/oleks/euplv1.2
A repository for the fix-up and maintenance of EUPLv1.2 license texts
Last synced: 30 Oct 2024
https://github.com/oleks/sat-e13-cheatsheet
Cheatsheet for the Semantics and Types course
Last synced: 30 Oct 2024
https://github.com/oleks/docker-pypi
Minimal Docker infrastructure for hosting your own Python Package Index.
Last synced: 30 Oct 2024
https://github.com/oleks/osm-exam-2015
OSM (pronounced 'AWESOME') exam 2015
Last synced: 30 Oct 2024
https://github.com/oleks/docker-mechanicalsoup
A Docker image with Python's MechanicalSoup
Last synced: 30 Oct 2024
https://github.com/oleks/git-cli-qsg
The Git Command-Line Interface—A Quick Start Guide
Last synced: 30 Oct 2024
https://github.com/oleks/docker-inf5510v18
An Emerald installation for INF5510v18
Last synced: 30 Oct 2024
https://github.com/oleks/docker-emerald-vmc-builder
A Debian with everything needed to build Emerald VMC
Last synced: 30 Oct 2024
https://github.com/oleks/accuratus
Research Apparatus for Accurate Arithemtic
Last synced: 30 Oct 2024
https://github.com/oleks/html-remarks
A zero-install, server-less implementation of remarks
grading marking qualitative quantitative serverless students university zero-install
Last synced: 27 Oct 2024
https://github.com/oleks/mechanics
Research Apparatus for Automatic Differentiation
Last synced: 30 Oct 2024
https://github.com/oleks/compsys16-tasks-and-kudos
Noter, dias, og kode til forelæsningen i CompSys om tråde og processer, samt introduktion til KUDOS.
Last synced: 30 Oct 2024