|
CakeML - formally verified subset of Standard ML
|
|
0
|
3
|
July 12, 2024
|
|
W3C validators
|
|
0
|
1
|
July 12, 2024
|
|
State Space visualization
|
|
0
|
2
|
July 11, 2024
|
|
Some notes on Rust, mutable aliasing and formal verification
|
|
0
|
1
|
July 11, 2024
|
|
How Git Works
|
|
0
|
2
|
July 11, 2024
|
|
IP over username
|
|
0
|
2
|
July 11, 2024
|
|
HaMLet - reference implementation of Standard ML
|
|
0
|
1
|
July 10, 2024
|
|
Increase HTTP performance by fitting in the initial TCP Slow Start window
|
|
0
|
1
|
July 10, 2024
|
|
Contrast Rebellion
|
|
0
|
1
|
July 10, 2024
|
|
Butterick's Practical Typography
|
|
0
|
1
|
July 10, 2024
|
|
Public domain POSIX make
|
|
0
|
2
|
July 9, 2024
|
|
Cheapest and Fastest Online SMS verification
|
|
0
|
2
|
July 6, 2024
|
|
Granule - linear functional language with graded modal types
|
|
0
|
2
|
July 4, 2024
|
|
LibTech1
|
|
0
|
2
|
July 3, 2024
|
|
Aaron Giles's home page
|
|
0
|
1
|
July 3, 2024
|
|
An Introduction to Tseitlin Machines
|
|
0
|
2
|
July 3, 2024
|
|
RFC-5536 - NetNews Article Format
|
|
0
|
1
|
July 2, 2024
|
|
CryptPad - foss online encrypted office suite
|
|
0
|
2
|
June 24, 2024
|
|
Opinionated Guides
|
|
0
|
6
|
June 18, 2024
|
|
RFC-3208 - PGM Reliable Transport Protocol Specification
|
|
0
|
4
|
June 18, 2024
|
|
Sheaf Theory through examples
|
|
0
|
3
|
June 18, 2024
|
|
RFC-6740 - NACK-Oriented Reliable Multicast (NORM) Transport Protocol
|
|
0
|
2
|
June 18, 2024
|
|
RFC 9420 - The Messaging Layer Security (MLS) Protocol
|
|
0
|
5
|
June 18, 2024
|
|
Aleph 0 - a channel devoted to [...] pure mathematics
|
|
0
|
9
|
June 17, 2024
|
|
Makeup guides and tutorials
|
|
0
|
5
|
June 17, 2024
|
|
Female fashion for transfems
|
|
2
|
23
|
June 16, 2024
|
|
Advanced Exploit Development - Heap Exploitation
|
|
0
|
5
|
June 13, 2024
|
|
Going Bark: A Furry’s Guide to End-to-End Encryption
|
|
0
|
9
|
June 13, 2024
|
|
How to successfully Isabelle
|
|
7
|
16
|
May 12, 2024
|
|
Lain Thought on End-To-End Encryption with AP Characteristics for a New Era
|
|
0
|
8
|
May 1, 2024
|