Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
Stop Storing Third-Party Tokens in Your Database
Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
Trying to implement a lispy scripting language on top of Java in a minimalistic way: as small as possible but with a solid language design thats borrowed from common lisp.
NaRP-i (for Not a Real Pseudo Interpreter) is a multiplatform interpreter. His goal is validate analysis of problems made in a pseudolanguage called NaRP. Narp and Narp-i are so interdependent that they should be regarded as a single project.
jMARS is a java implementation of the famous "Core Wars" application first described by A.K. Dewdney. Using eXtreme Programming combined with Java, EJB, and the Rich Client Platform it can be used as an educational tool to understand these technologies
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
Trison has the goal to become a template engine with support of php, java and the transform ability to javascript to intergrate client/serverside generation of code.
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...