Repositories list

• quasar-electron-flash-games

  Public
  SWF game directory built with Quasar Framework

  TypeScript

  •

  MIT License

  •0•3•0•5•Updated May 6, 2023May 6, 2023

• epoptes

  Public
  Python

  •

  GNU General Public License v3.0

  •29•0•0•1•Updated Feb 5, 2021Feb 5, 2021

• oi-lab

  Public
  Ubuntu extra configuration files for school labs in Mogi das Cruzes, SP, Brazil (including ProInfo multi-seat workstations)

  Python

  •

  MIT License

  •3•7•1•0•Updated Dec 11, 2019Dec 11, 2019

• portal-secretaria-educacao-laradock

  Public template
  The most popular full PHP development environment on Docker.

  Dockerfile

  •

  MIT License

  •4.5k•0•0•0•Updated Oct 7, 2019Oct 7, 2019

• oi-lab-lite

  Public
  Extra configuration files for school labs in Mogi das Cruzes, SP, Brazil (including ProInfo multi-seat workstations)

  Shell

  •

  MIT License

  •0•0•0•0•Updated Jul 12, 2019Jul 12, 2019

• xf86-video-nested

  Public
  driver to run Xorg on top of Xorg or something else (forked from git://anongit.freedesktop.org/xorg/driver/xf86-video-nested)

  C

  •

  MIT License

  •0•2•1•0•Updated Oct 2, 2017Oct 2, 2017

• yast-network

  Public
  YaST module network

  Ruby

  •

  GNU General Public License v2.0

  •35•0•0•0•Updated Mar 8, 2017Mar 8, 2017

• proinfo-ubuntu-config

  Public
  Coleção de arquivos de configuração dos multiterminais para Ubuntu e derivados em computadores do ProInfo

  Shell

  •

  The Unlicense

  •2•1•0•0•Updated Aug 4, 2015Aug 4, 2015

• xserver-xorg-video-nested

  Public
  Debian package for xf86-video-nested

  C

  •

  MIT License

  •0•0•0•0•Updated Jun 19, 2015Jun 19, 2015

• italc

  Public
  C

  •

  GNU General Public License v2.0

  •66•0•0•0•Updated Apr 13, 2015Apr 13, 2015

• xf86-video-ephyr

  Public
  A new video driver to run Xorg on top of another X server, based on Xephyr and former xf86-video-nested

  C

  •

  MIT License

  •0•0•0•0•Updated Oct 7, 2014Oct 7, 2014

• xf86-video-nested-v1

  Public
  driver to run Xorg on top of Xorg or something else (forked from git://anongit.freedesktop.org/xorg/driver/xf86-video-nested)

  C

  •

  MIT License

  •0•0•0•0•Updated Aug 14, 2014Aug 14, 2014

• pmmc-pte-pyoi

  Public
  PyOI - collection of Python tools for PTE-PMMC projects

  Python

  •0•0•0•0•Updated Feb 14, 2014Feb 14, 2014

• pmmc-pte-flashplayer-debian

  Public
  Debian/Ubuntu self-contained package for Flash Player Projector

  Shell

  •0•1•0•0•Updated Nov 23, 2012Nov 23, 2012

• pmmc-pte-flashplayer

  Public
  Pseudo-upstream repository for Adobe Flash Player Projector

  Shell

  •3•1•0•0•Updated Nov 23, 2012Nov 23, 2012

• pmmc-pte-pai-upstream

  Public
  Pseudo-upstream repository for PAI Debian/Ubuntu packages.

  Shell

  •2•2•0•0•Updated Nov 9, 2012Nov 9, 2012

• pmmc-pte-pai-patchset

  Public
  Collection of patches for PAI (mainly to work correctly in Linux).

  Shell

  •0•2•0•0•Updated Nov 9, 2012Nov 9, 2012

• pmmc-pte-apt-iso

  Public
  Collection of scripts for compiling ISO images with off-line repository for PTE-PMMC.

  Shell

  •0•2•0•0•Updated Nov 6, 2012Nov 6, 2012

• pmmc-pte-sei-debian

  Public
  Debian/Ubuntu self-contained package for SEI

  Shell

  •0•1•0•0•Updated Nov 6, 2012Nov 6, 2012

• pmmc-pte-sei-upstream

  Public
  Pseudo-upstream repository for SEI Debian/Ubuntu packages.

  Shell

  •1•2•0•0•Updated Nov 1, 2012Nov 1, 2012

• pmmc-pte-pai-debian

  Public
  Debian/Ubuntu self-contained package for PAI

  Shell

  •0•1•0•0•Updated Oct 24, 2012Oct 24, 2012

• pmmc-pte-flashplayer-debian-installer

  Public
  Automated downloader/installer for Flash Player (for PTE-PMMC purposes)

  Shell

  •0•1•0•0•Updated Aug 1, 2012Aug 1, 2012

• pmmc-pte-pai-debian-installer

  Public
  Automated downloader/installer for PAI (Debian/Ubuntu package)

  Shell

  •2•2•0•0•Updated Jul 13, 2012Jul 13, 2012

• pmmc-pte-sei-debian-installer

  Public
  Automated downloader/installer for SEI (Debian/Ubuntu package)

  Shell

  •1•2•0•0•Updated Jul 11, 2012Jul 11, 2012

• pmmc-pte-sei-fedora

  Public
  Automated downloader/installer for SEI (Meego/Fedora/openSUSE package)

  0•1•0•0•Updated Jun 5, 2012Jun 5, 2012

• pmmc-pte-pai-fedora

  Public
  Automated downloader/installer for PAI (Meego/Fedora/openSUSE package)

  0•1•0•0•Updated Jun 5, 2012Jun 5, 2012

• pmmc-pte-pai-ardorafix

  Public
  Correção de um bug do Ardora para as atividades de caça-palavras do PAI 2.11.2

  0•1•0•0•Updated Jun 4, 2012Jun 4, 2012

• cpi-teste

  Public
  Repositório para testes da CPI

  0•2•0•0•Updated May 24, 2012May 24, 2012

• pmmc-pte-sei

  Public
  SEI (Software de Educação Infantil)

  0•1•0•0•Updated May 24, 2012May 24, 2012

• pmmc-pte-pai

  Public
  PAI (Pacote de Atividades de Informática)

  0•1•0•0•Updated May 24, 2012May 24, 2012