Data product portal created by Dataminded

An open file format for infinite canvas data.

emulate simulations easily

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Custom GitHub Actions for DI

Resources to help you keep secrets (API keys, database credentials, certificates, ...) out of source code and remediate the issue in case of a leaked API key. Made available by GitGuardian.

The Visual F# compiler and tools

Implementations of various type systems in OCaml.

Provides a complete source of localized time zone names and abbreviations.

TensorFlow API for .NET languages

Repository hosting the open-source Nu Game Engine and related projects.

A curated list of awesome Deep Learning tutorials, projects and communities.

A complete computer science study plan to become a software engineer.

The place to make suggestions, discuss and vote on F# language and core library features

A cross-platform website generator and server using F#, Suave and PostgreSQL.

Documentation

Makes implementing IQueryable and IQueryProvider for your ORM easy.

xml random generator

All the examples on my blog

Continuous Unix commit history from 1970 until today

WebAssembly Design Documents

Benchmark programs for Idris

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

Bond is a cross-platform framework for working with schematized data. It supports cross-language de/serialization and powerful generic mechanisms for efficiently manipulating data. Bond is broadly …

Visual Studio extension for rich inlined comments using MarkDown

A dependency manager for .NET with support for NuGet packages and Git repositories.