Pinned Repositories
TestUtilities.Scenarios
A wrapper type to produce more readable test output
cyp
Checker for "morally correct" induction proofs about haskell programs
cellular_automata
Hittps
Experiments with self signed certificates for use in docker networks
Malefics
An implementation of the board game Malefiz in C#.
dub_machine
A Dub Machine in csound-expression
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.
BodySerialization
Experiments with json body serialization using Newtonsoft.Json vs System.Text.Json
ehonda's Repositories
ehonda/FluentBuilders
Experiments with patterns for fluent builders in C#
ehonda/TheoremsAboutAlgorithms
A bunch of theorems about algorithms, written in lean 4
ehonda/Workshops.NodaTime
A workshop about the .NET library NodaTime (See: https://nodatime.org/)
ehonda/OrchardSim
A small simulator for a small game
ehonda/CSharp.WebApiBench
Benchmarking C# web apis
ehonda/EHonda.SonarAnalyzer.FalsePositive.S3878
A minimal repro for a false positive
ehonda/LowerBoundKnapsack
A variation on the knapsack problem
ehonda/EHonda.SonarAnalyzer.FalsePositive.S1116
A minimal repro for a false positive
ehonda/EHonda.HelloNuget
A project to create and publish test nugets from
ehonda/PhotoCopy
A small utility to help organize media captured on e.g. a smartphone
ehonda/4Corners.jl
An explorative math project
ehonda/RainForestComplexity
A complexity analysis of a particular algorithm
ehonda/CrossTargeting
Experiments with cross targeting dotnet solutions
ehonda/git-roulette
A small script to randomize commit shas and find one of a given structure
ehonda/AdventureGame
Adventure game project created using ChatGPT - an AI-based language model.
ehonda/DotnetAlpineIcu
Experiments about globalization support with the alpine based dotnet images
ehonda/TestCaseParametersNUnit1030
A false positive for NUnit1030
ehonda/ScenarioDescription
POC for nice test data output
ehonda/ehonda.github.io
Personal blog created with jekyll
ehonda/TfmExperiments
Experiments with mutli tfm projects
ehonda/DataflowTest
Some experiments around async and TPL Dataflow
ehonda/DateTimeStruggle
Trying to find incriminating evidence against DateTime
ehonda/BodySerialization
Experiments with json body serialization using Newtonsoft.Json vs System.Text.Json
ehonda/NodaTimePitch
Pitch project for https://nodatime.org/
ehonda/Hittps
Experiments with self signed certificates for use in docker networks
ehonda/NodaTimeDemo
Experiments using NodaTime
ehonda/EfCoreCompositeFilter
Composite filters with EFCore
ehonda/EfCoreNestedDbContextScopes
A reproduction of strange db context behaviour
ehonda/PersistentDb
POC for a test fixture base class
ehonda/NoWarn
A test project