Repositories list

• PL-236319-Spr-2024

  Public
  Standard ML

  •3•3•0•0•Updated Aug 19, 2024Aug 19, 2024

• Function

  Public
  Derivatives and functions in Java

  Java

  •1•0•0•0•Updated Dec 27, 2023Dec 27, 2023

• react-cop

  Public
  ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Sep 11, 2023Sep 11, 2023

• PL-236319-Spr-2023

  Public
  JavaScript

  •65•1•0•1•Updated May 23, 2023May 23, 2023

• PL-236319-Spr-2022

  Public
  JavaScript

  •65•0•0•0•Updated Mar 24, 2023Mar 24, 2023

• wowchemy-hugo-modules

  Public
  📝 The website builder for Hugo. Build and deploy a beautiful website in minutes!

  JavaScript

  •

  MIT License

  •2.9k•0•0•0•Updated Jan 31, 2021Jan 31, 2021

• hugo-bare-min-theme

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

  HTML

  •

  MIT License

  •16•0•0•0•Updated Jan 26, 2021Jan 26, 2021

• starter-academic

  Public template
  🎓 Easily create a beautiful academic résumé or educational website using Hugo, GitHub, and Netlify

  Jupyter Notebook

  •

  MIT License

  •6.3k•0•0•0•Updated Jan 9, 2021Jan 9, 2021

• hugo-academic-cli

  Public
  📚 Import academic publications from Bibtex to Hugo

  Python

  •

  MIT License

  •101•0•0•0•Updated Nov 26, 2020Nov 26, 2020

• simple-ismlnj

  Public
  SML/NJ simple kernel for Jupyter/IPython Notebook

  Python

  •

  MIT License

  •7•0•0•0•Updated Nov 15, 2020Nov 15, 2020

• ajc

  Public
  Java

  •0•0•0•0•Updated Apr 20, 2019Apr 20, 2019

• AOP-Awesome

  Public
  Awesome 1.0

  Java

  •3•0•0•0•Updated Dec 29, 2018Dec 29, 2018

• DSALs

  Public
  Java

  •0•1•0•0•Updated Dec 22, 2018Dec 22, 2018

• AOP-org.eclipse.ajdt

  Public
  Java

  •0•1•0•0•Updated Dec 21, 2018Dec 21, 2018

• fonts

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

  HTML

  •13•0•0•0•Updated Jun 20, 2018Jun 20, 2018

• fontspec

  Public
  Font selection in LaTeX for XeTeX and LuaTeX

  TeX

  •

  LaTeX Project Public License v1.3c

  •33•0•0•0•Updated Oct 19, 2017Oct 19, 2017

• tex4ebook

  Public
  Convertor from LaTeX to ebook formats (epub, mobi). Using tex4ht and texlua scripts.

  Lua

  •32•0•0•0•Updated Oct 19, 2017Oct 19, 2017

• AOP-Awesome-Legacy

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

  Java

  •0•0•0•0•Updated Jul 29, 2017Jul 29, 2017

• digital-fingerprint

  Public
  Digital fingerprint demo application

  JavaScript

  •

  BSD 3-Clause "New" or "Revised" License

  •3•0•0•0•Updated Jun 24, 2017Jun 24, 2017

• eopl3

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

  Scheme

  •

  Other

  •270•0•0•0•Updated Mar 9, 2017Mar 9, 2017

• onedrive

  Public
  Free Client for OneDrive on Linux

  D

  •

  GNU General Public License v3.0

  •348•0•0•0•Updated Dec 14, 2016Dec 14, 2016

• Lola

  Public
  Language Of Language Augmentation

  Java

  •3•0•0•0•Updated Dec 3, 2016Dec 3, 2016

• mucommander

  Public
  Java

  •187•0•0•0•Updated Aug 27, 2016Aug 27, 2016

• LOP-nodalion

  Public
  A framework to connect Cedalion and Node.JS

  JavaScript

  •

  MIT License

  •2•0•0•0•Updated Aug 10, 2016Aug 10, 2016

• LOP-cloudlog1

  Public
  A NoDatalog deductive database for the 21st century.

  JavaScript

  •

  MIT License

  •2•0•0•0•Updated Apr 10, 2016Apr 10, 2016

• ovirt-engine

  Public
  This is a mirror from gerrit.ovirt.org

  Java

  •

  Apache License 2.0

  •268•0•0•0•Updated Feb 29, 2016Feb 29, 2016

• tex4ebook-prezentace

  Public
  TeX

  •1•0•0•0•Updated Jan 26, 2016Jan 26, 2016

• AOP-org.aspectj

  Public
  AspectJ project repository (org.aspectj)

  Java

  •112•0•0•0•Updated Dec 26, 2015Dec 26, 2015

• pluto

  Public
  Java

  •

  GNU General Public License v3.0

  •4•0•0•0•Updated Oct 21, 2015Oct 21, 2015

• java-util

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

  Java

  •

  Apache License 2.0

  •105•0•0•0•Updated Aug 4, 2015Aug 4, 2015