t0yv0

t0yv0's Stars

• DefinitelyTyped/DefinitelyTyped

  The repository for high quality TypeScript type definitions.

  Language:TypeScript49k6418.1k30.2k

• 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

• racket/racket

  The Racket repository

  Language:Racket4.9k1452.2k666

• fsharp/fsharp

  Please file issues or pull requests here: https://github.com/dotnet/fsharp

  Language:F#2.2k148543316

• jgm/gitit

  A wiki using HAppS, pandoc, and git

  Language:Haskell2.2k78544225

• fsprojects/FAKE

  FAKE - F# Make

  Language:F#1.3k491.2k586

• fsprojects/fantomas

  FSharp source code formatter

  Language:F#778241.5k193

• fholm/IronJS

  IronJS - A JavaScript implementation for .NET

  Language:JavaScript680349379

• dotnet-websharper/core

  WebSharper - Full-stack, functional, reactive web apps and microservices in F# and C#

  Language:F#601331.3k50

• mono/ngit

  Automated jgit port to c#

  Language:C#2613843151

• fsprojects-archive/zzarchive-Cricket

  [ARCHIVED] An actor framework for F#

  Language:F#152324635

• disnet/contracts.js

  Contract library for JavaScript

  Language:JavaScript1488198

• jaked/ocamljs

  Javascript back-end for OCamlc

  Language:OCaml1335413

• TahaHachana/OpenSEO

  Open source SEO tool

  Language:JavaScript13116051

• UnkindPartition/regex-applicative

  Regex-based parsing with an applicative interface

  Language:Haskell130103412

• mausch/Fuchu

  Functional test library for F# / C# / VB.NET

  Language:F#120124922

• ShabbyX/libpandoc

  C bindings to Pandoc, a markup converter library written in Haskell.

  Language:Haskell9061316

• jgreene/FSharp.Javascript

  A project to convert F# quotations to javascript

  Language:C#27212

• dotnet-websharper/TypedPhoneGap

  TypeScript layer for PhoneGap (Apache Cordova) version 3.4.0 and all core plugins

  Language:TypeScript241223

• jenkinsci/ivy-plugin

  Jenkins ivy plugin

  Language:Java1699943

• t0yv0/libpandoc-dotnet

  .NET bindings to Pandoc

  Language:C#11513

• t0yv0/haskell-earley

  Earley parsing algorithm implementation in Haskell including a CFG definition API

  Language:Haskell10410

• t0yv0/ocaml-parsec

  A parser combinator library inspired by Text.Parsec in Haskell.

  Language:OCaml8200

• t0yv0/ocaml-pretty

  A simple pretty-printing module similar to Format in purpose but based on Wadler's "A prettier printer" combinators

  6310

• t0yv0/hdaemonize

  UNIX deamon writing utilities for Haskell

  Language:Haskell53013

• TahaHachana/FantomasWeb

  Online F# code formatting tool.

  Language:JavaScript5310

• intellifactory/build

  Mirror of http://bitbucket.org/IntelliFactory/build

  Language:F#41201

• t0yv0/WebSharperTodo

  Language:F#230

• dzyubam/Hangman

  Console game - Hangman

  Language:Python1100

• t0yv0/mountainview

  120