With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Try free now
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime
General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
...An active community maintains and extends the system.
Website: https://maxima.sourceforge.io
Additional add-on packages for Maxima can be found at: https://github.com/maxima-project-on-github/maxima-packages
Schematic circuit editor for VLSI and Mixed mode circuit simulation.
...Schematics can be printed in SVG, PNG, PDF, formats. XSCHEM runs on Linux or other Unix-likes with Xorg server and on Windows with the Cygwin layer and required tools installed.
Can be found also on github: https://github.com/StefanSchippers/xschem
A Bluetooth-based proximity locking tool for Windows
...BT Auto Locker v1.0.4
Release Date: August 1, 2025
-Fixed an issue where the "Check for Updates" feature was non-functional.
-Corrected the "Contact Support" email link in the Help menu.
Source Code (Github): https://github.com/BT-Auto-Locker/BT-Auto-Locker
Official Release (Microsoft Store): https://apps.microsoft.com/detail/9ntznn3dbp2s?hl=en-US
Tcl/Tk support for the EPICS control system along with EPICS aware megawidgets.
Note that as of September 27, 2023, development and new releases of this project will occur on github. See:
https://github.com/FRIBDAQ/EpicsTcl
New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
PyMOL is an OpenGL based molecular visualization system
The Open-Source PyMOL repository has been moved to github:
https://github.com/schrodinger/pymol-open-source
We still use the pymol-users mailing list here on sourceforge. Please subscribe for community support: https://pymol.org/maillist (Note: SourceForge email newsletter and special offers are optional and can be unchecked)
The PyMOL community wiki has its own home:
https://pymolwiki.org/
The MSX emulator that aims for perfection.
NOTE: this project moved to GitHub. The content of this project page is frozen and will not be updated. The project is alive and kicking, though! Check out our website for the new project pages.
Repeater controller and EchoLink software for Linux including a GUI, Qtel - the Qt EchoLink client.
The SvxLink project has now moved to GitHub. The new home page for the project is http://svxlink.org/ .
bMotion is an AI script for eggdrop bots to give them a bit of life and make them better channel members on IRC. It exposes a plugin interface allowing its functionality and behaviour to be easily adjusted and extended with TCL scripts.
Latest code is available on GitHub.
...Once it is stored there, you can create any number of specialized procedures to send email from directly within PostgreSQL like emailing a customer when product ships.
FYI! This project has moved to GITHUB! You can see the repository here: https://github.com/captbrando/pgMail
WE HAVE MOVED!!!
Please visit the project page (linked below) for all new and relevant information, including requests for help!
Paessler: Easy to Use With Enterprise Power. Free Trial
A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.
You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
Covered is a Verilog code coverage utility using VCD/LXT/FST dumpfiles (or VPI interface) and the design to generate line, toggle, memory, combinational logic, FSM state/arc and assertion coverage report metrics viewable via GUI or ASCII format.
This project is ported to github and can be found at:
https://github.com/chiphackers/covered