Luis Ángel Méndez Gort
lamg
Solving problems
Languages
Top Repositories
Formal verification tool based on predicate calculus and supporting several programming languages
Design principles for structured functional programming
Declarative migrations for SQLite databases
HTTP proxy with per user download quotas
GUI for interacting with small and large language models
Miscellaneous problems and explorations
Repositories
68Declarative migrations for SQLite databases
Sage Mode for F# development — REPL with solution or project loading, Live Testing for FREE, Hot Reload, and session management.
LSP server for custom code snippets
HTTP proxy with per user download quotas
A fast, cross-platform system information tool written in F#
No description provided.
Miscellaneous problems and explorations
Personal blog
A very barebones threads.net api library
No description provided.
Formal verification tool based on predicate calculus and supporting several programming languages
No description provided.
No description provided.
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Design principles for structured functional programming
A megapack of themes for GNU Emacs.
No description provided.
Execute CLI commands from your F# code in F# style!
Tutorials, Examples, Reference Implementations and Packages for Masumi
A Golang HTTP proxy library
No description provided.
GUI for interacting with small and large language models
ASP.NET Core based F# framework
Algorand's official implementation in Go.
A C# binding generator for GObject based libraries providing a C# friendly API surface
The official Espanso's package repository
Abstract Syntax Tree (AST) Domain Specific Language (DSL) for F#
An implementation of GNU Readline in F#
A pragmatic approach to network science.
CSV table (semicolon separated) to C# string matrix converter