mrakgr Goto Github PK

agentmodels.org

Modeling agents with probabilistic programs

azure-function-apps-in-fsharp

cast_pytorch

Optimized version of the CAST implementation

cfr-in-agda

Formalization of the CFR algorithm related theorems in Agda.

cfr-in-fable

cfr-in-fsharp

Randomized testing of various CFR theorems.

cfr-in-lean

Formalization of the CFR algorithm and the theorems for it in Lean.

cfr_poker

cntk

Computational Network Toolkit (CNTK)

core-docs

This repository contains .NET Documentation.

cuda

Haskell FFI bindings to CUDA

ddh

Automatically exported from code.google.com/p/ddh

diffsharp

DiffSharp: Automatic Differentiation Library

dnspy

.NET assembly editor, decompiler, and debugger

dynamics.net

Extensions for runtime reflection and structural induction

elm

F# Implementation of The Elm Architecture

elmish

Elm-like abstractions for F# apps

embel

A small functional testing library.

exercises

Random stuff I did to get myself up to par in Haskell and a thought dump.

feliz.auth.examples

Example Auth using Feliz.React.Msal

fparsec-pipes

A set of operators for FParsec (http://www.quanttec.com/fparsec/) intended to simplify chaining parsers together.

fscheck

Random Testing for .NET

fsharp

The Open Edition of the F# compiler, core library and tools

fsharp.compiler.service

The F# compiler as a component. For editors. For analyzers. For love. You know you want it.

fsharp.control.reactive

Extensions and wrappers for using the Reactive Extensions (Rx) with F#.

fsharpx.collections

FSharpx.Collections is a collection of datastructures for use with F# and C#.

futhark

:boom::computer::boom: A data-parallel functional programming language

futhark-benchmarks

Various Futhark benchmark programs

google-doc-zip-fixer-script

A script for fixing the styles of downloaded Google Doc zip files.

gvgai-fsharp

Fsharp port of the GVGAI library.