atadi96

atadi96's Stars

• dotnet/ef6

  This is the codebase for Entity Framework 6 (previously maintained at https://entityframework.codeplex.com). Entity Framework Core is maintained at https://github.com/dotnet/efcore.

  Language:C#1.4k545

• bcarruthers/garnet

  F# game composition library

  Language:F#16415

• microsoft/verona

  Research programming language for concurrent ownership

  Language:C++3.6k166

• ChrisPritchard/Xelmish

  XNA + Elmish - 2D game development framework with F#

  Language:F#16715

• Hardt-Coded/Terminal.Gui.Elmish

  An elmish wrapper around Miguel de Icaza's 'Gui.cs' https://github.com/migueldeicaza/gui.cs including a fable like view DSL.

  Language:F#22613

• MichalStrehovsky/zerosharp

  Demo of the potential of C# for systems programming with the .NET native ahead-of-time compilation technology.

  Language:C#2k107

• ghuntley/dotfiles-nixos

  source drop as reference for others on how to setup nixos and share configs between multiple machines

  Language:Nix875

• cboudereau/category-theory-for-dotnet-programmers

  This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fsharp

  Language:C#20614

• markpattison/fsharp-monogame

  Language:F#141

• A1kmm/proofsweeper

  Play Minesweeper by formally proving your moves in Idris

  Language:Haskell1663

• terrajobst/minsk

  This repo contains Minsk, a handwritten compiler in C#. It illustrates basic concepts of compiler construction and how one can tool the language inside of an IDE by exposing APIs for parsing and type checking.

  Language:C#1.1k175

• dbrattli/Fable.Reaction

  Fable Reaction - Reactive (AsyncRx) for F# Elmish and Fable

  Language:F#14219

• VictorTaelin/abstract-algorithm

  Optimal evaluator of λ-calculus terms.

  Language:JavaScript26716

• zfnmxt/tigerhaskell

  Modern Compiler Implementation in ML (except in Haskell) :^)

  Language:Standard ML42

• panesofglass/trail

  ASP.NET Blazor rendering with F#

  Language:F#898

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k235

• ollef/sixten

  Functional programming with fewer indirections

  Language:Haskell75926

• DataKinds/sixty-five-oh-two

  A 65C02 Assembly eDSL in Haskell

  Language:Haskell162

• dfordivam/tenjinreader

  Full stack Haskell, Japanese learning app

  Language:Haskell326

• adolfintel/Windows10-Privacy

  Windows 10 Privacy Guide

  1.4k119

• pocketberserker/FSharp.Automaton

  Language:F#102

• Zesix/Impulse

  A barebones C# bootstrap framework for building scalable projects quickly and easily in Unity.

  Language:C#11933

• tanakh/monadius

  2-D arcade scroller

  Language:Haskell6010

• SodiumFRP/sodium

  Sodium - Functional Reactive Programming (FRP) Library for multiple languages

  Language:C#851140

• cat-milk/Anime-Girls-Holding-Programming-Books

  Anime Girls Holding Programming Books

  19.8k985

• neptunia/kc-discord-relayer

  relay info from kancolle to discord via a chrome extension and a nodejs websocket server

  Language:JavaScript115

• erengy/taiga

  A lightweight anime tracker for Windows

  Language:C++2.1k230

• dotnet-websharper/core

  WebSharper - Full-stack, functional, reactive web apps and microservices in F# and C#

  Language:F#60050

• orlp/pdqsort

  Pattern-defeating quicksort.

  Language:C++2.4k102