openuniversity Goto Github PK

ajc

aop-awesome

Awesome 1.0

aop-awesome-legacy

Clone of svn://trac.cslab.openu.ac.il/svn/awesome

aop-org.aspectj

AspectJ project repository (org.aspectj)

aop-org.eclipse.ajdt

cassandra-paper-uiuc-ds

Cassandra: Principles and Application - UIUC, Distributed Systems

chrom-passwordgen

Chrome extension that generates passwords based on a master password and current domain.

citedby

Bibliography vith list of citing publications under each of the author's papers

cloudtypes

JavaScript end2end implementation of the Cloud Types model for Eventual Consistency programming

cocasse

A library for Gradual Certified Programming in Coq

digital-fingerprint

Digital fingerprint demo application

dsals

ejp-thesis2

eopl3

Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand

epub3sample

Sample epub3 ebook, created using tex4ebook

fonts

open-source licensed, Unicode fonts in Hebrew, Latin, Greek, Cyrillic, Arabic, and Amharic scripts

fontspec

Font selection in LaTeX for XeTeX and LuaTeX

function

Derivatives and functions in Java

hugo-academic-cli

📚 Import academic publications from Bibtex to Hugo

hugo-bare-min-theme

A bare minimum theme for Hugo (https://gohugo.io) to help develop and debug Hugo sites -- https://hugo-bare-min.netlify.com/,

install-tl-ubuntu

Install script for TeX Live on Ubuntu

java-util

Rarely available and hard-to-write Java utilities, written correctly, and thoroughly tested

jekyll

Jekyll is a blog-aware, static site generator in Ruby

kalah-prolog

PROLOG implementation for the kalah game. Created as a project for "PROLOG - aspects for AI" of the Israeli Open University

latex-bibtool

BibTool is a tool for manipulating BibTeX data bases. BibTeX provides a mean to integrate citations into LaTeX documents. BibTool allows the manipulation of BibTeX files which goes beyond the possibilities -- and intentions -- of BibTeX.

latex-lyx

A clone of git://git.lyx.org/lyx

lola

Language Of Language Augmentation

lop-cedalion

lop-cedalion-web

An extensible web framework based on the Cedalion programming language

lop-cloudlog1

A NoDatalog deductive database for the 21st century.