dandereggK

dandereggK's Stars

• dotnet/mbmlbook

  Sample code for the Model-Based Machine Learning book.

  Language:C#28982

• natadzen/failure-detectors-and-consensus-fsharp

  Failure Detection and Consensus in Distributed Systems with F#

  Language:F#364

• Martin4ndersen/BaconNumber

  This repository contains the code presented in the blog post, Finding Bacon Number with Azure Cosmos DB and F#

  Language:F#2

• easbar/fast_paths

  Fast shortest path calculations for Rust

  Language:Rust27025

• dolthub/dolt

  Dolt – Git for Data

  Language:Go17.9k507

• google-deepmind/mathematics_dataset

  This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.

  Language:Python1.8k249

• pblasucci/commondotnet

  This repository contains the slide deck, accompanying source code, and errata for a presentation on designing library APIs for the CLR (.NET or Mono).

  Language:C#21

• microsoft/nlp-recipes

  Natural Language Processing Best Practices & Examples

  Language:Python6.4k918

• lemastero/scala_typeclassopedia

  Abstractions from Category theory with simple description & implementation, links to further resources.

  Language:Scala37839

• OrleansContrib/Orleankka

  Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka

  Language:C#49576

• cognitedata/oryx

  .NET Cross platform and highly composable middleware for building web request handlers in F#

  Language:F#20210

• mosa/MOSA-Project

  Managed Operating System Alliance Project

  Language:C#41380

• TimelyDataflow/differential-dataflow

  An implementation of differential dataflow using timely dataflow on Rust.

  Language:Rust2.6k183

• smoothdeveloper/Midinette

  Language:F#41

• HerrmannM/eole

  Éole, a Lévy-optimal lambda calculus evaluator without oracle

  Language:Rust1104

• microsoft/SandDance

  Visually explore, understand, and present your data.

  Language:TypeScript6.4k525

• nessos/Eff

  A library design for programming with effects and handlers in C#

  Language:C#12813

• alhassy/FSharpCheatSheet

  Reference sheet of the basics of F# ^_^

  213

• project-everest/mitls-fstar

  Verified implementation of TLS 1.3 in F*

  Language:F*17316

• AlloyTools/org.alloytools.alloy

  Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

  Language:Java718122

• AlloyTools/models

  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

  Language:Alloy12528

• wg-dashboard/wg-dashboard

  an (unmaintained) easy-to-use dashboard for wireguard vpn

  Language:CSS31869

• zeromq/fszmq

  An F# binding for the ZeroMQ distributed computing library. For more information, please visit:

  Language:F#11230

• SteveGilham/altcover

  Cross-platform coverage gathering and processing tool set for dotnet/.Net Framework and Mono

  Language:F#49918

• mcintyre321/ValueOf

  Deal with Primitive Obsession - define ValueObjects in a single line (of C#).

  Language:C#88440

• Tarmil/FSharp.Data.LiteralProviders

  F# Type providers generating literals from the compile-time environment

  Language:F#1346

• JamesRandall/AccidentalFish.FSharp.Validation

  Simple validator DSL / library for F#

  Language:F#8910

• fslaborg/XPlot

  A collection of older plotting libraries for F#. Recommended to use Plotly.NET instead https://plotly.net/

  Language:F#28867

• microsoft/Trill

  Trill is a single-node query processor for temporal or streaming data.

  Language:C#1.2k132

• fable-compiler/fable-react

  Fable bindings and helpers for React and React Native

  Language:F#27566