Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
x86-64 assembly as a Haskell EDSL
Haskell C Shell

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
Tests
compiler
libpotential
INSTALL
README
tests.sh

README

Potential is a systems programming language designed for high reliability.
It is currently in active development and should be considered HIGHLY
EXPERIMENTAL.

Key features:
* Automatically manages pointer aliases, invalidating aliases when changes are
  made to data that have an effect on the underlying type
* Automatically tracks the evolution of machine state as instructions sequence
  together
* Haskell's type inference eliminates the need for type annotations, while ghci
  provides the ability to inspect the types of functions to ensure that the code
  you write has the effect you want
* Easy to extend and modify the language to suit your application's needs

For more information, visit us:
http://potential-lang.org
http://github.com/intoverflow/Potential

Something went wrong with that request. Please try again.