├── .github └── workflows │ └── ci-lib.yml ├── .gitignore ├── LICENSE ├── README.md ├── pack.toml ├── src ├── Crypto │ ├── AES │ │ ├── Big.idr │ │ ├── Common.idr │ │ └── Small.idr │ ├── ChaCha.idr │ ├── Curve.idr │ ├── Curve │ │ ├── Weierstrass.idr │ │ └── XCurves.idr │ ├── ECDH.idr │ ├── Hash.idr │ ├── Hash │ │ ├── GHash.idr │ │ ├── HMAC.idr │ │ ├── Interfaces.idr │ │ ├── MD5.idr │ │ ├── MerkleDamgard.idr │ │ ├── OID.idr │ │ ├── Poly1305.idr │ │ ├── SHA1.idr │ │ └── SHA2.idr │ ├── RSA.idr │ ├── Random.idr │ └── Random │ │ ├── C.idr │ │ └── JS.idr ├── Network │ ├── TLS.idr │ └── TLS │ │ ├── AEAD.idr │ │ ├── Certificate.idr │ │ ├── Certificate │ │ └── System.idr │ │ ├── Core.idr │ │ ├── HKDF.idr │ │ ├── Handle.idr │ │ ├── Handshake.idr │ │ ├── HelloExtension.idr │ │ ├── Magic.idr │ │ ├── Parse │ │ ├── DER.idr │ │ └── PEM.idr │ │ ├── Parsing.idr │ │ ├── Record.idr │ │ ├── Signature.idr │ │ ├── Verify.idr │ │ └── Wrapper.idr └── Utils │ ├── Base64.idr │ ├── Bytes.idr │ ├── ConstantTable.idr │ ├── Handle.idr │ ├── Handle │ └── C.idr │ ├── IPAddr.idr │ ├── Misc.idr │ ├── Num.idr │ ├── Parser.idr │ ├── Show.idr │ └── Time.idr ├── support ├── Makefile └── idristls.c ├── tests ├── src │ ├── CertTest.idr │ ├── Crypto.idr │ ├── LTLS.idr │ ├── RandomTest.idr │ └── Test.idr └── tlstest.ipkg └── tls.ipkg /.github/workflows/ci-lib.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/.github/workflows/ci-lib.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/README.md -------------------------------------------------------------------------------- /pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/pack.toml -------------------------------------------------------------------------------- /src/Crypto/AES/Big.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/AES/Big.idr -------------------------------------------------------------------------------- /src/Crypto/AES/Common.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/AES/Common.idr -------------------------------------------------------------------------------- /src/Crypto/AES/Small.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/AES/Small.idr -------------------------------------------------------------------------------- /src/Crypto/ChaCha.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/ChaCha.idr -------------------------------------------------------------------------------- /src/Crypto/Curve.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Curve.idr -------------------------------------------------------------------------------- /src/Crypto/Curve/Weierstrass.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Curve/Weierstrass.idr -------------------------------------------------------------------------------- /src/Crypto/Curve/XCurves.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Curve/XCurves.idr -------------------------------------------------------------------------------- /src/Crypto/ECDH.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/ECDH.idr -------------------------------------------------------------------------------- /src/Crypto/Hash.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Hash.idr -------------------------------------------------------------------------------- /src/Crypto/Hash/GHash.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Hash/GHash.idr -------------------------------------------------------------------------------- /src/Crypto/Hash/HMAC.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Hash/HMAC.idr -------------------------------------------------------------------------------- /src/Crypto/Hash/Interfaces.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Hash/Interfaces.idr -------------------------------------------------------------------------------- /src/Crypto/Hash/MD5.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Hash/MD5.idr -------------------------------------------------------------------------------- /src/Crypto/Hash/MerkleDamgard.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Hash/MerkleDamgard.idr -------------------------------------------------------------------------------- /src/Crypto/Hash/OID.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Hash/OID.idr -------------------------------------------------------------------------------- /src/Crypto/Hash/Poly1305.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Hash/Poly1305.idr -------------------------------------------------------------------------------- /src/Crypto/Hash/SHA1.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Hash/SHA1.idr -------------------------------------------------------------------------------- /src/Crypto/Hash/SHA2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Hash/SHA2.idr -------------------------------------------------------------------------------- /src/Crypto/RSA.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/RSA.idr -------------------------------------------------------------------------------- /src/Crypto/Random.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Random.idr -------------------------------------------------------------------------------- /src/Crypto/Random/C.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Random/C.idr -------------------------------------------------------------------------------- /src/Crypto/Random/JS.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Crypto/Random/JS.idr -------------------------------------------------------------------------------- /src/Network/TLS.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS.idr -------------------------------------------------------------------------------- /src/Network/TLS/AEAD.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/AEAD.idr -------------------------------------------------------------------------------- /src/Network/TLS/Certificate.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Certificate.idr -------------------------------------------------------------------------------- /src/Network/TLS/Certificate/System.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Certificate/System.idr -------------------------------------------------------------------------------- /src/Network/TLS/Core.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Core.idr -------------------------------------------------------------------------------- /src/Network/TLS/HKDF.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/HKDF.idr -------------------------------------------------------------------------------- /src/Network/TLS/Handle.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Handle.idr -------------------------------------------------------------------------------- /src/Network/TLS/Handshake.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Handshake.idr -------------------------------------------------------------------------------- /src/Network/TLS/HelloExtension.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/HelloExtension.idr -------------------------------------------------------------------------------- /src/Network/TLS/Magic.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Magic.idr -------------------------------------------------------------------------------- /src/Network/TLS/Parse/DER.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Parse/DER.idr -------------------------------------------------------------------------------- /src/Network/TLS/Parse/PEM.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Parse/PEM.idr -------------------------------------------------------------------------------- /src/Network/TLS/Parsing.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Parsing.idr -------------------------------------------------------------------------------- /src/Network/TLS/Record.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Record.idr -------------------------------------------------------------------------------- /src/Network/TLS/Signature.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Signature.idr -------------------------------------------------------------------------------- /src/Network/TLS/Verify.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Verify.idr -------------------------------------------------------------------------------- /src/Network/TLS/Wrapper.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Network/TLS/Wrapper.idr -------------------------------------------------------------------------------- /src/Utils/Base64.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Utils/Base64.idr -------------------------------------------------------------------------------- /src/Utils/Bytes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Utils/Bytes.idr -------------------------------------------------------------------------------- /src/Utils/ConstantTable.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Utils/ConstantTable.idr -------------------------------------------------------------------------------- /src/Utils/Handle.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Utils/Handle.idr -------------------------------------------------------------------------------- /src/Utils/Handle/C.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Utils/Handle/C.idr -------------------------------------------------------------------------------- /src/Utils/IPAddr.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Utils/IPAddr.idr -------------------------------------------------------------------------------- /src/Utils/Misc.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Utils/Misc.idr -------------------------------------------------------------------------------- /src/Utils/Num.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Utils/Num.idr -------------------------------------------------------------------------------- /src/Utils/Parser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Utils/Parser.idr -------------------------------------------------------------------------------- /src/Utils/Show.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Utils/Show.idr -------------------------------------------------------------------------------- /src/Utils/Time.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/src/Utils/Time.idr -------------------------------------------------------------------------------- /support/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/support/Makefile -------------------------------------------------------------------------------- /support/idristls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/support/idristls.c -------------------------------------------------------------------------------- /tests/src/CertTest.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/tests/src/CertTest.idr -------------------------------------------------------------------------------- /tests/src/Crypto.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/tests/src/Crypto.idr -------------------------------------------------------------------------------- /tests/src/LTLS.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/tests/src/LTLS.idr -------------------------------------------------------------------------------- /tests/src/RandomTest.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/tests/src/RandomTest.idr -------------------------------------------------------------------------------- /tests/src/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/tests/src/Test.idr -------------------------------------------------------------------------------- /tests/tlstest.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/tests/tlstest.ipkg -------------------------------------------------------------------------------- /tls.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-tls/HEAD/tls.ipkg --------------------------------------------------------------------------------