ehonda Goto Github PK

4corners.jl

An explorative math project

adtsandbox

This started out as trying to model stuff as types that kind of resemble ADTs, but now it's something else

adventuregame

Adventure game project created using ChatGPT - an AI-based language model.

autorepo

bluebird

An implementation of a string rewrite system and visualisation in the terminal

bodyserialization

Experiments with json body serialization using Newtonsoft.Json vs System.Text.Json

cellular_automata

consolepaint

crosstargeting

Experiments with cross targeting dotnet solutions

csharp.webapibench

Benchmarking C# web apis

cylinder_cuts

Small haskell program that checks a formula for the volume of cylinder cuts against the numerically calculated volume

cyp

Checker for "morally correct" induction proofs about haskell programs

dataflowtest

Some experiments around async and TPL Dataflow

datetimestruggle

Trying to find incriminating evidence against DateTime

dominion_online_log_prettifier

A prettifier for malformatted dominion online (dominion.games) logs

dotnetalpineicu

Experiments about globalization support with the alpine based dotnet images

double-buffer-demo

Demo code for a presentation about the double buffer pattern

dub_machine

A Dub Machine in csound-expression

efcorecompositefilter

Composite filters with EFCore

efcorenesteddbcontextscopes

A reproduction of strange db context behaviour

ehonda.github.io

Personal blog created with jekyll

ehonda.hellonuget

A project to create and publish test nugets from

ehonda.sonaranalyzer.falsepositive.s1116

A minimal repro for a false positive

ehonda.sonaranalyzer.falsepositive.s3878

A minimal repro for a false positive

git-roulette

A small script to randomize commit shas and find one of a given structure

goto_while

An implementation of Goto and While Programs in Haskell

hittps

Experiments with self signed certificates for use in docker networks

ienumerable_demo

Demo of IEnumerable vs IList behaviour in C#

join_vs_ordered_pairing

A test project revolving around pairing up stuff

lowerboundknapsack

A variation on the knapsack problem