t0yv0

t0yv0's Stars

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k10410.1k661

• ghcjs/ghcjs

  Haskell to JavaScript compiler, based on GHC

  Language:Haskell2.6k75680186

• sq/JSIL

  CIL to Javascript Compiler

  Language:C#1.7k105779242

• MLton/mlton

  The MLton repository

  Language:Standard ML97550180128

• ocsigen/js_of_ocaml

  Compiler from OCaml to Javascript.

  Language:OCaml97239682189

• fsprojects/fantomas

  FSharp source code formatter

  Language:F#778241.5k193

• mbraceproject/FsPickler

  A fast multi-format message serializer for .NET

  Language:F#327199551

• ocaml/v2.ocaml.org

  Implementation of the ocaml.org website.

  Language:HTML32230800344

• fsprojects/zarchive-fsharpbinding

  Archive of F# Language Bindings for Open Editors

  Language:Emacs Lisp30742450106

• brownplt/flapjax

  functional reactive programming for JavaScript

  Language:JavaScript232141012

• fsprojects-archive/zzarchive-Cricket

  [ARCHIVED] An actor framework for F#

  Language:F#152324635

• coq-community/coq-ext-lib

  A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

  Language:Coq130165847

• brownplt/LambdaJS

  Semantics and tools for JavaScript

  Language:JavaScript9020618

• brownplt/LambdaS5

  Semantics for ES5

  Language:OCaml81194612

• mirage/mirage-platform

  Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.

  Language:C77293742

• brownplt/strobe

  The Strobe Type Checker for JavaScript

  Language:JavaScript159720

• brownplt/TeJaS

  A family of type systems for JavaScript

  Language:OCaml1290

• dotnet-websharper/d3

  WebSharper bindings for D3 (http://d3js.org)

  Language:F#1110159

• TahaHachana/WS-Snippets

  Language:JavaScript10602

• dotnet-websharper/mobile

  WebSharper support for mobile development

  Language:F#91121

• dotnet-websharper/piglets

  Provides a framework to build reactive interfaces in WebSharper, similar to Formlets but with more control over the structure of the output.

  Language:F#91284

• dotnet-websharper/webapi

  Wrappers for hosting WebSharper sitelets and remoting components in WebAPI projects

  Language:F#61134

• TahaHachana/FantomasWeb

  Online F# code formatting tool.

  Language:JavaScript5310

• TahaHachana/FsLight

  F# Syntax Highlighting Tool

  Language:JavaScript5400

• dotnet-websharper/google.maps

  WebSharper bindings to Google Maps API

  Language:F#41133

• dotnet-websharper/glmatrix

  WebSharper bindings for the glMatrix library

  Language:F#31032

• dotnet-websharper/jqueryui

  WebSharper bindings to the JQuery UI library

  Language:F#312105

• brownplt/DOM-Semantics

  Language:Racket2301

• dotnet-websharper/bing.maps

  WebSharper support for using Bing Maps AJAX and REST APIs

  Language:F#21012

• dotnet-websharper/google.visualization

  WebSharper support for using Google Visualization Library

  Language:F#21003