falcoframework/Falco

A toolkit for building fast and functional-first web applications using F#.

Language: F# - Size: 1.43 MB - Last synced at: 3 days ago - Pushed at: 24 days ago - Stars: 578 - Forks: 40

FStarLang/FStar

A Proof-oriented Programming Language

Language: F* - Size: 752 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2,854 - Forks: 239

nightroman/FarNet

Far Manager framework for .NET modules and scripts in PowerShell, F#, JavaScript.

Language: C# - Size: 9.61 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 142 - Forks: 19

Warewolf-ESB/Warewolf

Effortless Microservice Design and Integration. This repository includes the code-base for the Warewolf Studio and Server.

Language: C# - Size: 557 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 274 - Forks: 120

fsprojects/FSharpPlus

Extensions for F#

Language: F# - Size: 15.7 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 883 - Forks: 101

BryanWilhite/jupyter-central

an attempt to centralize my little collection 📚 of jupyter notebooks in one place 🚀 🌚 (which might not be a great idea)

Language: Jupyter Notebook - Size: 32.6 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 4 - Forks: 0

mcintyre321/OneOf

Easy to use F#-like ~discriminated~ unions for C# with exhaustive compile time matching

Language: C# - Size: 840 KB - Last synced at: 17 days ago - Pushed at: 10 months ago - Stars: 3,767 - Forks: 167

briandenicola/directory-size

A repo that I use to try out various languages

Language: C# - Size: 1.35 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

mikeroyal/dotNET-Guide

.NET/.NET Core Guide

Language: C# - Size: 53.7 KB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 4

louthy/language-ext

C# pure functional programming framework - come and get declarative!

Language: C# - Size: 22.2 MB - Last synced at: 28 days ago - Pushed at: about 1 month ago - Stars: 6,797 - Forks: 434

algojobs/F-sharp-Jobs

The latest F# jobs, updated weekly.

Size: 9.77 KB - Last synced at: 30 days ago - Pushed at: 30 days ago - Stars: 1 - Forks: 0

VsVim/VsVim

Vim Emulator Plugin for Visual Studio 2015+

Language: C# - Size: 91 MB - Last synced at: 27 days ago - Pushed at: 12 months ago - Stars: 3,708 - Forks: 408

fsprojects/IfSharp

F# for Jupyter Notebooks

Language: Jupyter Notebook - Size: 16.8 MB - Last synced at: 10 days ago - Pushed at: over 3 years ago - Stars: 443 - Forks: 70

migueldeicaza/TensorFlowSharp

TensorFlow API for .NET languages

Language: C# - Size: 8.19 MB - Last synced at: 27 days ago - Pushed at: over 1 year ago - Stars: 3,154 - Forks: 573

fsprojects/FSharp.Data.SqlClient

A set of F# Type Providers for statically typed access to MS SQL database

Language: F# - Size: 47.4 MB - Last synced at: 25 days ago - Pushed at: about 2 months ago - Stars: 204 - Forks: 69

DanielAraldiEDU/f-sharp

Repositório destinado para estudos de F#.

Language: F# - Size: 69.3 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

dotnetthailand/dotnetthailand.github.io

source code for .NET Thailand website (dotnetthailand.com)

Language: JavaScript - Size: 64 MB - Last synced at: 23 days ago - Pushed at: 3 months ago - Stars: 61 - Forks: 105

lifebeyondfife/Decider

An Open Source .Net Constraint Programming Solver

Language: C# - Size: 254 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 159 - Forks: 24

haf/Http.fs

A simple, functional HTTP client library for F#

Language: HTML - Size: 73.8 MB - Last synced at: 25 days ago - Pushed at: almost 2 years ago - Stars: 318 - Forks: 39

FakeBuild/Xake

Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake

Language: F# - Size: 1.05 MB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 4

toor1245/MatrixDotNet

Powerful .NET library for calculating matrix

Language: C# - Size: 27.9 MB - Last synced at: 20 days ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 3

nosami/XSVim

[Obsolete] Vim emulation layer for Xamarin Studio / Visual Studio for Mac

Language: F# - Size: 42.4 MB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 157 - Forks: 12

zeromq/fszmq 📦

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

Language: F# - Size: 24.8 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 114 - Forks: 30

danne931/akka-dotnet-bank

Business Banking with Akka.NET

Language: F# - Size: 1.74 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 16 - Forks: 2

nblockchain/geewallet

geewallet is a non-custodial, minimalistic & pragmatist opensource crossplatform lightweight brainwallet to hold the most important cryptoassets in the same application with ease & peace of mind

Language: F# - Size: 63.9 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 64 - Forks: 36

jozefRudy/trading-rule-parser

Trading DSL with real-time TypeScript validation and AST parsing

Language: TypeScript - Size: 247 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

ozma-io/ozmadb

OzmaDB — SQL-like database for Web apps. OzmaDB is the core database engine for the ozma.io platform. It provides robust features for query execution, data persistence, permission checking, and much more. One of the key principles of OzmaDB is its approach to customization: "all your metadata is also data."

Language: F# - Size: 3.33 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 7 - Forks: 0

aborjasg/background

Work background in Latin America and the Caribbean (IT projects and solutions on cloud)

Size: 17.1 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

frankshearar/AntiUnification

AntiUnification generalises from examples

Language: F# - Size: 497 KB - Last synced at: 2 months ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 2

tormaroe/FSharp.Msisdn

Library for working with international telephone numbers in F#

Language: F# - Size: 535 KB - Last synced at: 24 days ago - Pushed at: over 10 years ago - Stars: 4 - Forks: 0

wastaz/Hyperboliq

Take control of your queries with Hyperboliq, the predictable .NET ORM.

Language: F# - Size: 938 KB - Last synced at: 20 days ago - Pushed at: over 7 years ago - Stars: 11 - Forks: 6

tormaroe/FsPrettyTable

Represent tabular data in visually appealing ASCII tables using F#

Language: F# - Size: 373 KB - Last synced at: 6 days ago - Pushed at: over 9 years ago - Stars: 12 - Forks: 0

davidboers/rubikscube

This is a small Rubik's cube software I wrote for fun.

Language: F# - Size: 14.6 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

exynoxx/AoC

Language: F# - Size: 227 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

lulunac27a/text-counter-dot-net-application

Text counter application in .NET using Blazor Server and Razor Pages in C#, and console application

Language: HTML - Size: 1.5 MB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

furusho99/domain-modeling-made-functional

関数型ドメインモデリングのF#を動かすためのRepo

Language: F# - Size: 3.91 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

SSWConsulting/SSW.Rules.Functions

Language: C# - Size: 142 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

wooga/Paket.Unity3D 📦

An extension for the Paket dependency manager that enables the integration of NuGet dependencies into Unity3D projects.

Language: F# - Size: 13.8 MB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 42 - Forks: 9

ChristianMurphy/compile-to-web

Discover what languages can be compiled to Web Assembly

Language: Ruby - Size: 103 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 178 - Forks: 10

Thorium/Roll-a-ball-FSharp

Unity 3d game engine tutorial (in F#)

Language: F# - Size: 315 KB - Last synced at: about 2 months ago - Pushed at: about 10 years ago - Stars: 102 - Forks: 7

corsis/XParsec

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

Language: F# - Size: 194 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 50 - Forks: 4

RexKizzy22/state-machine

A couple of F# scripts showcasing domain-modelling capabilities with F# in different domains as well as other functional programming concepts

Language: F# - Size: 76.2 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

BryanWilhite/LinqPad

My self-educational collection of LinqPad queries.

Language: C# - Size: 4.01 MB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 25 - Forks: 5

Kavignon/SmarTac 📦

tactical role playing game functional reactive framework

Language: F# - Size: 914 KB - Last synced at: 7 days ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 1

OllieDay/Daffer

Functional wrapper for Dapper

Language: F# - Size: 16.6 KB - Last synced at: 17 days ago - Pushed at: 9 months ago - Stars: 7 - Forks: 0

Danpeo/Danilvar.RandGen

Generates random credentials

Language: F# - Size: 22.5 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

bearloga/dotnet

'knitr' Engine for C# and F# Languages and R Wrapper for 'dotnet' Command Line Interface

Language: R - Size: 21.5 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 1

vbop9834/NeuralFish

Neuroevolution in F#

Language: F# - Size: 785 KB - Last synced at: 30 days ago - Pushed at: over 7 years ago - Stars: 25 - Forks: 3

Nedal-Esrar/String-Calculator-FSharp

Simple Calculator with Addition Functionality using F#

Language: F# - Size: 23.4 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0

codinasion-archive/codinasion-monorepo 📦

Community Monorepo

Language: TypeScript - Size: 16.5 MB - Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 52 - Forks: 167

fsprojects/FsRandom

A purely-functional random number generator framework designed for F#

Language: F# - Size: 15.2 MB - Last synced at: 6 days ago - Pushed at: about 5 years ago - Stars: 52 - Forks: 7

bit-badger/myPrayerJournal 📦

Minimalist prayer journal to enhance your prayer life

Language: F# - Size: 1.77 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 13 - Forks: 0

Sheel-ui/Gossip-Algorithm

Implemented a gossip algorithm using F# and Akka actors for efficient distributed communication and fault tolerance.

Language: F# - Size: 347 KB - Last synced at: 18 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

evincarofautumn/fasten

Searches for more performant software configurations.

Language: F# - Size: 163 KB - Last synced at: 2 months ago - Pushed at: over 10 years ago - Stars: 5 - Forks: 1

TrueWill/FSM.NET

A simple "stateless" finite-state machine library for .NET.

Language: F# - Size: 64.5 KB - Last synced at: 16 days ago - Pushed at: about 5 years ago - Stars: 22 - Forks: 2

Flosus/CodeToSurvive

A scripting survival game

Language: F# - Size: 290 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

YH-Hung/SimpleKafkaClientNet

Kafka Client examples

Language: F# - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

siavava/cs

Elementary C#, F#, and other .NET workflows.

Language: C++ - Size: 44.9 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

AshleyF/TransForth

Forth interpreter in F#

Language: Forth - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 3

Ming-Tang/TVTropes

Converts TV Tropes backup from flat files to a SQLite database.

Language: F# - Size: 215 KB - Last synced at: about 1 year ago - Pushed at: almost 11 years ago - Stars: 2 - Forks: 1

uriegel/HttpServer 📦

A HTTP/2 web server written in F#

Language: F# - Size: 229 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

ggierlik/FSharp.Euler.Problems

Learning F# by solving Euler Problems

Language: F# - Size: 79.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

Kwilibri/Templates.AzureFunctions.ServicebusQueue

This repository contains an FSharp (F#) project template that can be used to create an Azure Function triggered by a Service Bus Queue.

Language: F# - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

delegateas/CodeChallenge

Delegate's Code Challenge 2019 - impress us with your skills :rocket:

Language: C# - Size: 420 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 7

grafanaKibana/MusicTagsReader

Just a console app that read music tags and write it with correct formatting.

Language: F# - Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

tkellogg/MongoDB.FSharp

Silent utilities to make the official MongoDB driver feel natural to work with in F#

Language: F# - Size: 452 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 64 - Forks: 16

lewisevans2007/F_sharp_template

Here is a simple F# template.

Language: F# - Size: 1000 Bytes - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

amanmehara/programming

A polyglot collection of algorithms and code snippets.

Language: C++ - Size: 756 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 34 - Forks: 96

CSBiology/TMEA

Thermodynamically Motivated Enrichment Analysis (TMEA) is a new approach to gene set enrichment analysis.

Language: F# - Size: 10.6 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 3

17cupsofcoffee/AkkaMUD

Building a MUD in F# and Akka.NET

Language: F# - Size: 14.6 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 16 - Forks: 1

GregRos/Imms

High Performance, Immutable Data Structures for .NET

Language: C# - Size: 16.3 MB - Last synced at: 2 months ago - Pushed at: almost 9 years ago - Stars: 123 - Forks: 17

fsprojects-archive/zzarchive-VisualFSharpPowerTools 📦

[ARCHIVED] Power commands for F# in Visual Studio

Language: F# - Size: 26.6 MB - Last synced at: 27 days ago - Pushed at: almost 6 years ago - Stars: 310 - Forks: 78

polterguy/hyper-ide 📦

Hyper IDE - A web based IDE for 100+ programming languages

Language: JavaScript - Size: 2.12 MB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 54 - Forks: 10

artem-burashnikov/ImageProcessing Fork of gsvgit/ImageProcessing

Image processing in F# on GPGPU using Brahma.FSharp

Language: F# - Size: 2.22 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

HungryVovka/Codewars-F-sharp

My assignment solutions of Codewars tasks by using F#.

Language: F# - Size: 112 KB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

omg-shush/lime

An interpreted, dynamically-typed programming language.

Language: F# - Size: 120 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

nicolascribbles/Chess-FSHARP

F# Chess

Language: F# - Size: 32.2 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

asizikov/last-day-at-work

:bomb: Some F#

Language: F# - Size: 29.3 KB - Last synced at: 4 months ago - Pushed at: about 9 years ago - Stars: 2 - Forks: 0

chrisnorris/SoccerProvider

Expose BBC sport soccer results page as a type provider using F# Data's HTML Parser

Language: F# - Size: 75.2 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

chrisnorris/Fractals

Fractals from F# scripts - with some WPF

Language: F# - Size: 269 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

jakubzehner/AdventOfCode2022

My solutions to Advent of Code 2022, every day in a different language 🎄

Language: Shell - Size: 144 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

jmanuel1/code-jam-f-sharp

Solutions to some Code Jam problems in F#.

Language: F# - Size: 782 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

catherinesyeh/digiweave

Digital Friendship Bracelet Pattern Generator

Language: HTML - Size: 2.5 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

alexander-bzikadze/University_tasks 📦

Published Hometasks

Language: C# - Size: 2.2 MB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

seanpm2001/AI2001_Category-Source_Code-SC-F-Sharp

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:F# category for AI2001, containing F# programming language datasets

Language: R - Size: 2.48 MB - Last synced at: about 13 hours ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1

Eggy115/FSharp

F#

Language: F# - Size: 337 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 2

CoFlows/CoFlows-CE

CoFlows - Containerised Polyglot Runtime CLR, JVM, Python and Javascript

Language: C# - Size: 87.8 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 24 - Forks: 7

leidard/TinyML

A tiny interpreter for a subset of expressions of the ML language.

Language: F# - Size: 13.4 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

bigby-the-wolf/WebApiTest

Sustainable Web API written in F# that showcases the language's strengths via a functional style.

Language: F# - Size: 60.5 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 46 - Forks: 3

BoykoDmitry/ParameterizationExtractor

This is a tool to generate complex scripts with data from MS SQL Server

Language: HTML - Size: 616 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

CraigStuntz/TinyLanguage

Intro to F# demo project

Language: F# - Size: 143 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 25 - Forks: 2

TolikPylypchuk/CafeApp 📦

A simple F# app created for studying purposes.

Language: F# - Size: 7.86 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

janno-p/XRoadProvider 📦

F# type providers for data exchange layer X-Road

Language: F# - Size: 9.09 MB - Last synced at: 21 days ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

mongodb-labs/mongo-fsharp-driver-prototype 📦

[Archive] FSharp.MongoDB - F# driver prototype for MongoDB - This Repository is NOT a supported MongoDB product

Language: F# - Size: 961 KB - Last synced at: 6 months ago - Pushed at: almost 12 years ago - Stars: 29 - Forks: 10

TolikPylypchuk/Chipper 📦

A web app for playing poker without actual poker chips, written in F#

Language: F# - Size: 707 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

Ferryry/PrivCryptF

Simple AES Encryption and Decryption tool in F# with an easy to use User Interface.

Language: F# - Size: 33.2 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

BaileyFirman/teenytinycompiler-fs

F# implementation of Austin Z. Henley's Teeny Tiny compiler.

Language: F# - Size: 104 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

DamieFC/stay-home-for-nevada

A repository with messages in every programming language I know how (and don't know) to write "Stay home for Nevada", so that way no programmers are out spreading COVID-19. Hopefully, no matter what programming language you speak, you can understand this :)

Language: HTML - Size: 44.9 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

Bomret/NiceTry 📦

A type for the classic try/catch statement, inspired by the Try type in Scala.

Language: C# - Size: 4.83 MB - Last synced at: 7 months ago - Pushed at: over 3 years ago - Stars: 11 - Forks: 4

diginex/gwallet

gwallet is a minimalistic and pragmatist opensource lightweight crossplatform brainwallet for people that want to hold the most important cryptocurrencies in the same application with ease and peace of mind

Language: F# - Size: 10.2 MB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 26 - Forks: 10