-
DenseCheck Public
A .NET Library for Systematically Generating Test Cases for Your Domain Model
-
px Public
Forked from genotrance/pxAn HTTP proxy server to automatically authenticate through an NTLM proxy
Python MIT License UpdatedOct 25, 2025 -
godelian-toolkit Public
The Gödelian Toolkit: Systematically Testing Simple Languages
-
-
fs-logic Public
Forked from palladin/logicA logic programming library for F# inspired by microKanren
F# UpdatedApr 13, 2025 -
ai-interface Public
Forked from madihg/ai-interfaceA sample repo for a chatbot interface powered by a fine tuned LLM
TypeScript MIT License UpdatedMar 2, 2025 -
-
-
Fable-CSharp Public
Forked from fable-compiler/FableF# to JavaScript Compiler
-
micrograd-fsharp Public
Forked from karpathy/microgradA tiny scalar-valued autograd engine and a neural net library in F#
Jupyter Notebook MIT License UpdatedOct 23, 2024 -
logic-verifier Public
Forked from amirlb/logic-verifierWorking towards a proof assistant that accepts text that looks like mathematical text
OCaml UpdatedSep 14, 2024 -
FsCheck Public
Forked from fscheck/FsCheckRandom Testing for .NET
F# BSD 3-Clause "New" or "Revised" License UpdatedAug 31, 2024 -
lean-matrix-cookbook Public
Forked from eric-wieser/lean-matrix-cookbookThe matrix cookbook, proved in the Lean theorem prover
Lean MIT License UpdatedJul 7, 2024 -
typeshape-csharp Public
Forked from eiriktsarpalis/PolyTypePractical generic programming for C#
C# MIT License UpdatedApr 23, 2024 -
tiny-systems Public
Forked from tpetricek/tiny-systems-2023📺 Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch the course online!
F# UpdatedJan 8, 2024 -
-
-
-
-
kv.fs Public
Forked from HeyPuter/kv.jsAdvanced in-memory caching module for JavaScript. For when Redis or Memcached would be an overkill.
JavaScript MIT License UpdatedApr 20, 2023 -
-
-
-
-
json-skulpt Public
An Example of a Github Block that turns JSON files into pretty grids
-
forro Public
Forked from boogie-org/forroA sample verifier for a toy language built on top of Boogie
F# MIT License UpdatedNov 24, 2022 -
deno-test-scripts Public
Test Scripts to Demonstrate How Deno Isolates Processes
TypeScript UpdatedNov 9, 2022 -
bocksdin-coding Public
Repo holding scripts and code for the Bocksdin Coding Youtube channel. https://www.youtube.com/channel/UCEYdorySAjJdHksaTDsvHZg
Python UpdatedSep 14, 2022 -
-
vscode-natural Public
Forked from martindb/vscode-naturalVisual Studio Code extension for SoftwareAG Natural language
MIT License UpdatedSep 1, 2022
{{ message }}