Giters
Nick Palladinos (palladin)

palladin

Geek Repo

119

followers

10

following

39

stars

Company:Nessos

Location:Greece

Home Page:https://twitter.com/NickPalladinos

Github PK Tool:Github PK Tool

Organizations
mbraceproject

Nick Palladinos's repositories

Higher

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

Language:F#License:NOASSERTIONStargazers:183Issues:18Issues:8

Eff

A library for programming with Algebraic Effects in F#

Language:F#Stargazers:94Issues:8Issues:0

logic

A logic programming library for F#

Language:F#Stargazers:44Issues:5Issues:0

fsharp-snippets

Collection of F# snippets

Language:F#Stargazers:40Issues:3Issues:0

idris-snippets

Collection of Idris snippets

Language:IdrisLicense:MITStargazers:21Issues:3Issues:0

multi-stage-fsharp

Multi-stage Programming in F#

Language:F#Stargazers:12Issues:3Issues:0

LinqOptimizer

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

Language:F#License:NOASSERTIONStargazers:7Issues:2Issues:0

Delimcc

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

Language:F#License:MITStargazers:6Issues:0Issues:0

little-reasoner

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

Language:PythonLicense:MITStargazers:3Issues:1Issues:0

typescript-snippets

Collection of typescript snippets

Language:TypeScriptStargazers:2Issues:2Issues:0

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/

Language:F#Stargazers:1Issues:2Issues:0

cubicaltt-snippets

Cubical Type Theory snippets

Language:AgdaStargazers:1Issues:2Issues:0

fsharp-exchange

Presentation and demo code for the F# eXchange 2015

Language:F#Stargazers:1Issues:4Issues:0

cubicaltt

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

dependency-injection-revisited

Sample code for article

Language:C#License:MITStargazers:0Issues:3Issues:0

EffSharp

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

Language:C#License:MITStargazers:0Issues:0Issues:0

fsharp-for-the-masses

F# for the masses

Language:C#Stargazers:0Issues:3Issues:0

GpuLinq

Democratizing GPGPU programming through OpenCL and LINQ.

Language:F#License:NOASSERTIONStargazers:0Issues:2Issues:0

Hype

Hype: Compositional Machine Learning and Hyperparameter Optimization

Language:F#License:MITStargazers:0Issues:2Issues:0

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

mbrace-docs

MBrace website and document generation repository

Language:F#License:NOASSERTIONStargazers:0Issues:2Issues:0

mbrace-on-brisk-starter

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

Language:F#Stargazers:0Issues:2Issues:0

MBrace.AWS

MBrace runtime implementation targeting Amazon Web Services

Language:F#License:UnlicenseStargazers:0Issues:2Issues:0

MBrace.Azure

Windows Azure PaaS implementation for MBrace

Language:F#License:Apache-2.0Stargazers:0Issues:2Issues:0

MBrace.Core

Core repository of the MBrace programming model and runtime basics

Language:F#License:Apache-2.0Stargazers:0Issues:2Issues:0

MBrace.StarterKit

A collection of demos and tutorials for MBrace

Language:F#Stargazers:0Issues:2Issues:0

roslyn

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

Language:C#License:Apache-2.0Stargazers:0Issues:2Issues:0

Splicer

Expression Tree splicing in C#

Language:C#License:Apache-2.0Stargazers:0Issues:2Issues:0

Streams

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

Language:F#License:NOASSERTIONStargazers:0Issues:2Issues:0

up-for-grabs.net

Jump in!

Language:JavaScriptStargazers:0Issues:0Issues:0