type it free download

Showing 3 open source projects for "type it"

View related business solutions

Cross Compilers Clear Filters & Widen Search

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.

Try free now
Go from Code to Production URL in Seconds
Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.

Try it free
1

Toybox

Embedded linux and cross toolchain

Embedded linux and cross toolchain Toolchain 20141105 - Updated gcc 4.9.2, gdb 7.8.1 SDK V0.6 - Added SDL2_image, SDL2_ttf library.

Downloads: 0 This Week

Last Update: 2015-08-17
See Project
2

CryptoPad v1.0

AES-128 bit file encryptor

CryptoPad is a Java based file encryptor ! It can encrypt every type of file. The icing on the cake is that it's 100% cross-platform. i.e. You can run the same .jar file on Windows, Mac OS, Linux and any OS capable of running JRE 8 :) CryptoPad uses AES-128 bit symmetric key encryption to secure your data.

1 Review

Downloads: 0 This Week

Last Update: 2014-10-11
See Project
3

midori programming language

dependently typed functional programming language

Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.

Downloads: 0 This Week

Last Update: 2015-03-01
See Project