palladin Goto Github PK

13-ways-of-looking-at-a-turtle

Thirteen different ways of implementing a LOGO-style turtle in F#! Related blog post: http://fsharpforfunandprofit.com/posts/13-ways-of-looking-at-a-turtle/

cubicaltt

cubicaltt-snippets

Cubical Type Theory snippets

delimcc

A Monadic library for for multi-prompt delimited control in F#

dependency-injection-revisited

Sample code for article

eff

A library for programming with Algebraic Effects in F#

effsharp

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

fsfoundation

The F# Software Foundation website

fsharp-exchange

Presentation and demo code for the F# eXchange 2015

fsharp-for-the-masses

F# for the masses

fsharp-snippets

Collection of F# snippets

fsharpx

Extensions and Tools for F# Programming

gpulinq

Democratizing GPGPU programming through OpenCL and LINQ.

higher

A lightweight library of abstractions for Higher-kinded programming in F#

hype

Hype: Compositional Machine Learning and Hyperparameter Optimization

idris-dev

A Dependently Typed Functional Programming Language

idris-snippets

Collection of Idris snippets

linqoptimizer

An automatic query optimizer-compiler for Sequential and Parallel LINQ.

little-reasoner

A small hack that combines the power of ChatGPT and the Z3 theorem prover

logic

A logic programming library for F#

mbrace-docs

MBrace website and document generation repository

mbrace-on-brisk-starter

Contains a set of scripts and demos to get you up and running with MBrace on Brisk.

mbrace.aws

MBrace runtime implementation targeting Amazon Web Services

mbrace.azure

Windows Azure PaaS implementation for MBrace

mbrace.core

Core repository of the MBrace programming model and runtime basics

mbrace.starterkit

A collection of demos and tutorials for MBrace

multi-stage-fsharp

Multi-stage Programming in F#

roslyn

The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.

splicer

Expression Tree splicing in C#

streams

A lightweight F#/C# library for efficient functional-style pipelines on streams of data.