Search Results for "8.6"
Sort By:
Showing 2 open source projects for "8.6"
View related business solutions-
Run applications fast and securely in a fully managed environmentRun frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.
-
Get full visibility and control over your tasks and projects with Wrike.Wrike offers world-class features that empower cross-functional, distributed, or growing teams take their projects from the initial request stage all the way to tracking work progress and reporting results.
-
1
Coq Jupyter
Jupyter kernel for Coq
Make sure that CoqIDE (8.6 or newer) is installed and coqidetop or coqidetop.opt (coqtop for Coq versions before 8.9.0) is in your PATH. Also, make sure the python command is recognized on your machine. If not you can set up an alias for it e.g. python-is-python3 on Ubuntu. There are a number of convenience improvements over standard Jupyter notebook behavior that are implemented to support Coq-specific use cases. -
2
Puszi
Puszi (K.I.S.S.) Livarp_cli + Opossum window manager
*Puszi is based on Livarp_cli (https://arpinux.org/livarp/livarp04/cli.html) with the addition of Xorg and Opossum Window Manager as default.(README) (https://sourceforge.net/projects/opossum/?source=directory) *ISO Debian Jessie 8.6 base (default US locale) *Software included: ceni (http://antix.daveserver.info/jessie/pool/main/c/ceni/ grubrepair i3 (Window Manager-vanilla) Lilyterm (http://lilyterm.luna.com.tw/) Refracta Tools( https://sourceforge.net/projects/refracta/files/tools/) Yad (http://antix.daveserver.info/jessie/pool/main/y/yad/) Xombrero Browser (Download pkglist- Puszi-Jessie folder for listing) *Intended for moderate/Advanced users. ...
- Previous
- You're on page 1
- Next
