Get Avast Free Antivirus | Your top-rated shield against malware and online scams
Boost your PC's defense against cyberthreats and web-based scams.
Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
Our Free Plans just got better! | Auth0
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.
PyREXX is a interprocess messaging server for routing remote prodecure calls using xml-based messages (Jabber, XML-RPC, etc), which will allow programs to interact more easily.
DL was designed to be a pure data language, built on very simple constructs, and internally representing typed values rather than depending on external schemas to infer type values.
The goal of this project is provide a OpenSource (LGPL) implementation of the
Trac 2001 programming language. Please visit the TRAC Foundation website at http://www.tracfoundation.org/ for additional information.
Code translation utility to convert Php website code into a Java/J2EE JSP equivalent code. Conversion application is written in Java. Utilizes Antlr to translate between the languages.
The E language is an open-source object-oriented langauge for secure
distributed computation. We are currently hosted on our own sourceforge setup at: http://bugs.sieve.net/projects/e-lang
A small, efficient and reliable java virtual machine aimed at portable devices (but also runnable on desktop computers), initially written by Rick Wild of Wabasoft. This account is for the development of the VM core and the associated core java packages.
No-Nonsense Code-to-Cloud Security for Devs | Aikido
Connect your GitHub, GitLab, Bitbucket, or Azure DevOps account to start scanning your repos for free.
Aikido provides a unified security platform for developers, combining 12 powerful scans like SAST, DAST, and CSPM. AI-driven AutoFix and AutoTriage streamline vulnerability management, while runtime protection blocks attacks.
Leafpile is a Z-code interpreter, a Java implementation of the Z-machine virtual machine used for running Infocom/Inform interactive fiction story files. Leafpile seeks complete compliance with the Z-machine Standards Document 1.0.
The aim of the project is to write an distributed object compiler/interpreter. Object reside on special server and can be accessed in a java/c++ style programming language through a network. This project is currently being renamed please check http://obj
Sleep is an embeddable scripting solution for Java applications. It is heavily inspired by Perl with bits of Objective-C thrown in. Features include function closures as first-class types, a unified I/O interface for sockets/processes/files, and the abili
A Java based simulator for the LC-3 16bit processor used in several CSS classes.
(specifically in the book "Introduction to Computing Systems: From Bits and Gates to C and Beyond" (2nd Ed)
Moved to GitHub
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected.
The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...