mishun Goto Github PK

aptusat

Automatically exported from code.google.com/p/aptusat

avalonia-issue3599-example

Replication example for issue https://github.com/AvaloniaUI/Avalonia/issues/3599

avalonia-xaml-compiler-bug-replication

Replication example for issue https://github.com/AvaloniaUI/Avalonia/issues/3395

diagrams-tangles

Drawing tangles using diagrams library

femtoexg

Simple bioamplifier and ADC

fslang-design

RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas

henk2000

Pure Type Systems for Functional Programming

ieee1588-ptp

An IEEE1588 Precision Time Protocol Implementation written in Python and C using a kernel bypass.

javakh

JavaKh -- taken from KnotTheory Mathematica package repository

kaleidoscope

LLVM Haskell tutorial

lyambdaml-draft

migradoccore-avalonia

Avalonia rendering for PdfSharpCore/MigraDocCore

minisat-rust

Experimental minisat SAT solver reimplementation in Rust

mishun.github.io

modbus

Implementing the Modbus protocol on .NET Standard 2.0

nixie

Simple Nixe Clock

pdfsharpcore

Port of the PdfSharp library to .NET Core - largely removed GDI+ (only missing GetFontData - which can be replaced with freetype2)

plantri

plantri: canonical construction path enumeration of planar graphs (taken from http://users.cecs.anu.edu.au/~bdm/plantri/)

plantri-rust

Plantri in Rust

prolog

A toy prolog interpreter

protobuf-net-fsharp

A library providing helpers for using F# types with Protobuf-net

scitwi.ui.avalonia

Some Avalonia utility controls

sqlprovider-bug-reproduction

submarine-dynamics

Very old piece of code related to modelling submarines (copy from google code repository)

svg.skia

An SVG rendering library.

tangles

Knot Theory library focusing on k-tangles

tangles-legacy

Very old code

tangles-tables

Generating functions

tangles-tex

Latex sources and figures

tangles-util