type free download - SourceForge

Showing 3 open source projects for "type"

View related business solutions

Cross Compilers Clear Filters & Widen Search

Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud

Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.

Get a free trial
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
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