Happypig375
Knows a bit in all aspects of .NET (C#/F#/VB.NET) / Python / Java. Used to maintain CSharpMath library but currently putting all efforts in https://hkust.edu.hk
@dotnet @Teenosonic @CSWCSS-InnoTechHong Kong
Pinned Repositories
AngouriMath
New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
Fabulous
Declarative UI framework for cross-platform mobile & desktop apps, using MVU and F# functional programming
fslang-design
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
fslang-suggestions
The place to make suggestions, discuss and vote on F# language and core library features
AMSFonts-Ttf-Otf
AMSFonts converted to TTF and OTF files.
Avalonia.FuncUI-mobile-sample
Port of the Avalonia (v11-rc) xplat template to Avalonia.FuncUI (Elmish) [Pure F#] [.NET 6]
free-nitro
Free Nitro 😱 (rick roll)
github-action-benchmark
GitHub Action for continuous benchmarking to keep performance
CSharpMath
LaTeX. in C#. (ported from the wonderful iosMath project).
Happypig375's Repositories
Happypig375/Avalonia.FuncUI-mobile-sample
Port of the Avalonia (v11-rc) xplat template to Avalonia.FuncUI (Elmish) [Pure F#] [.NET 6]
Happypig375/free-nitro
Free Nitro 😱 (rick roll)
Happypig375/etudier
Extract a citation network from Google Scholar
Happypig375/Nitro-Scam-Watcher-Selfbot
A Discord selfbot that watches nitro scam servers and sends any scam messages to a webhook for reception and reporting.
Happypig375/Avalonia.FuncUI
Develop cross-plattform MVU GUI Applications using F# and Avalonia!
Happypig375/awesome-fsharp
A curated list of awesome F# frameworks, libraries, software and resources.
Happypig375/Cities-in-Motion-2
Windows Installation Files for the game Cities In Motion 2
Happypig375/docs
This repository contains .NET Documentation.
Happypig375/equinox
.NET event sourcing library with CosmosDB, DynamoDB, EventStoreDB, message-db, SqlStreamStore and integration test backends. Focused at stream level; see https://github.com/jet/propulsion for cross-stream projections/subscriptions/reactions
Happypig375/free-for-dev
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
Happypig375/FsAutoComplete
F# language server using Language Server Protocol
Happypig375/fsharp
The F# compiler, FSharp.Core library, and tools for F#
Happypig375/FSharp-Events-Discord-Bot
A Discord bot that synchronizes https://sergeytihon.com/f-events/ and F#-related Discord servers' scheduled events with your Discord server's scheduled events. Use https://discord.com/api/oauth2/authorize?client_id=942273204200800296&permissions=8589934592&scope=bot to invite it.
Happypig375/FSharp.Android.Resource
MSBuild task to expose resources to F# .NET Fx / .NET Android projects
Happypig375/FSharp.UMX
F# units of measure for primitive non-numeric types
Happypig375/fslang-design
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
Happypig375/fslang-suggestions
The place to make suggestions, discuss and vote on F# language and core library features
Happypig375/Giraffe
A native functional ASP.NET Core web framework for F# developers.
Happypig375/GitBookTest
Happypig375/interchannel_message_mover
a discord bot to move messages between channels
Happypig375/ionide-vscode-fsharp
VS Code plugin for F# development
Happypig375/jekyll-gitbook
Build Jekyll site with GitBook style!
Happypig375/LEGL1000-SB
First in series "Project StarBurst". Question database for LEGL1000
Happypig375/russian-roulette-bot
A Discord bot to play virtual Russian Roulette with your friends.
Happypig375/SMPCPS-Pedometer
A pedometer designed by SMPCPS students for the elderly.
Happypig375/SVG
Fork of the ms svg library (http://svg.codeplex.com/)
Happypig375/uAssets
Resources for uBlock Origin, uMatrix: static filter lists, ready-to-use rulesets, etc.
Happypig375/ustimematch
Cross-platform web application for time scheduling/matching
Happypig375/walterzwang.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Happypig375/yagpdb
Yet another general purpose discord bot