Pinned Repositories
FStar
An ML-like language with a type system for program verification
Seq.App.Telegram
An app for Seq (http://getseq.net) that forwards messages to Telegram.
stdray's Repositories
stdray/Seq.App.Telegram
An app for Seq (http://getseq.net) that forwards messages to Telegram.
stdray/FStar
An ML-like language with a type system for program verification
stdray/DawgSharp
DAWG String Dictionary in C#
stdray/dotnetex
Gets size of .Net Framework objects, can change type of object to incompatible and can alloc .Net objects at unmanaged memory area
stdray/KpVotes
Posting votes from kinopoisk.ru to twitter
stdray/linq2db
Linq to database provider.
stdray/nemerle
Nemerle language. Main repository.
stdray/nemerleorg
Nemerle.org website repository
stdray/seq-apps
Apps for the Seq event server
stdray/ShareX
ShareX is a free and open source program that lets you capture or record any area of your screen and share it with a single press of a key. It also allows uploading images, text or other types of files to over 80 supported destinations you can choose from.
stdray/VisualRust
Visual Studio extension for Rust
stdray/yoba