victor-dumitrescu

Victor Dumitrescu's repositories

ailp

Artificial Intelligence Large Practical, School of Informatics, The University of Edinburgh (2013)

Language:Haskell1 40

TPCombinators

Experimental project to build type providers using compositional combinators

Language:F#NOASSERTION1 40

clide2

A language agnostic collaborative cloud IDE

Language:ScalaLGPL-3.0020

evaluare

Small Xamarin.Android app written in F#

Language:F#020

FSharp.Data.HiveProvider

F# Type Provider for Hadoop Hive

Language:F#NOASSERTION030

fstar-metatheory

Mechanized metatheory in F*

Apache-2.0020

hacl-star

HACL*, a formally verified cryptographic library written in F*

Language:F*Apache-2.0000

hermit-rs

Hermit for Rust.

Language:RustApache-2.0000

ivr-cw2

Language:C000

jstz

JavaScript server runtime for Tezos Smart Rollups

Language:RustMIT000

links-apps

Language:CSS02 2

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlNOASSERTION020

ocaml-migrate-parsetree

Convert OCaml parsetrees between different major versions

Language:OCamlNOASSERTION000

ocamlformat

Auto-formatter for OCaml code

Language:OCamlMIT000

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellCC0-1.0010

simple-providers

Language:F#030

tezedge

Utility crates for interacting with tezos types (e.g. for Smart Rollup kernels)

Language:RustMIT000

tweetnacl-js

Port of TweetNaCl cryptographic library to JavaScript

Unlicense000

ug4-films

University of Edinburgh Honours Project

Language:Python000