Pinned Repositories
hacl-packages
The Cryspen HACL Distribution
FStar
A Proof-oriented Programming Language
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
hacl-star
HACL*, a formally verified cryptographic library written in F*
ailp
Artificial Intelligence Large Practical, School of Informatics, The University of Edinburgh (2013)
clide2
A language agnostic collaborative cloud IDE
evaluare
Small Xamarin.Android app written in F#
FSharp.Data.HiveProvider
F# Type Provider for Hadoop Hive
fstar-metatheory
Mechanized metatheory in F*
TPCombinators
Experimental project to build type providers using compositional combinators
victor-dumitrescu's Repositories
victor-dumitrescu/ailp
Artificial Intelligence Large Practical, School of Informatics, The University of Edinburgh (2013)
victor-dumitrescu/TPCombinators
Experimental project to build type providers using compositional combinators
victor-dumitrescu/clide2
A language agnostic collaborative cloud IDE
victor-dumitrescu/evaluare
Small Xamarin.Android app written in F#
victor-dumitrescu/FSharp.Data.HiveProvider
F# Type Provider for Hadoop Hive
victor-dumitrescu/fstar-metatheory
Mechanized metatheory in F*
victor-dumitrescu/hacl-star
HACL*, a formally verified cryptographic library written in F*
victor-dumitrescu/hermit-rs
Hermit for Rust.
victor-dumitrescu/ivr-cw2
victor-dumitrescu/jstz
JavaScript server runtime for Tezos Smart Rollups
victor-dumitrescu/links-apps
victor-dumitrescu/ocaml
The core OCaml system: compilers, runtime system, base libraries
victor-dumitrescu/ocaml-migrate-parsetree
Convert OCaml parsetrees between different major versions
victor-dumitrescu/ocamlformat
Auto-formatter for OCaml code
victor-dumitrescu/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
victor-dumitrescu/simple-providers
victor-dumitrescu/tezedge
Utility crates for interacting with tezos types (e.g. for Smart Rollup kernels)
victor-dumitrescu/tweetnacl-js
Port of TweetNaCl cryptographic library to JavaScript
victor-dumitrescu/ug4-films
University of Edinburgh Honours Project