eulerfx

spark

Apache Spark - A unified analytics engine for large-scale data processing

awesome-deep-learning-papers

The most cited deep learning papers

KaTeX

Fast math typesetting for the web.

pulsar

Apache Pulsar - distributed pub-sub messaging system

engineer-manager

A list of engineering manager resource links.

deep-painterly-harmonization

Code and data for paper "Deep Painterly Harmonization": https://arxiv.org/abs/1804.03189

bond

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 used at Microsoft in high scale services.

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

neural-tangents

Fast and Easy Infinite Neural Networks in Python

equinox

.NET event sourcing library with CosmosDB, DynamoDB, EventStoreDB, message-db, SqlStreamStore and integration test backends. Focused at stream level; see https://github.com/jet/propulsion for cross-stream projections/subscriptions/reactions

concat

Compiling to Categories

ega

amateur translation project of Grothendieck's EGA.

lawvere

The collected works of F. W. Lawvere

TypeTopology

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

talk-2018-essence-of-ad

The simple essence of automatic differentiation

opencensus-specs

elmish-spreadsheet

Implement your own Excel 365 in 100 lines of F#!

kvs

💿 KVS: NVMe Key-Value Store

kafunk

Kafunk: F# Kafka client

falanx

Generates F# code from protobuf schema for binary and json format

bitcoinfs

marshall

Real number computation software

streaming-benchmarks

Benchmarks to compare Haskell streaming library performance

DeepNet

Deep.Net machine learning framework for F#

DCHoTT-Agda

Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality

FsRegEx

Composable regular expressions for F#

LearningAlgebraicVarieties.jl

Learning Algebraic Varieties from Samples

essence-of-ad

Paper: The simple essence of automatic differentiation

constructive-sheaf-semantics

I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.

FsCgp