Lists (5)
Stars
A sample pack of GitHub Agentic Workflows!
Sage Mode for F# development — REPL with solution or project loading, Live Testing for FREE, Hot Reload, and session management.
VibeKit gives your AI the skills and tools to build on Algorand with one command.
Ultra-lightweight, zero dependency, semantic HTML, CSS, JS UI library. ~8KB min+gz.
All About Berlin content, templates and backend
Idempotent schema management for MySQL, PostgreSQL, SQLite, and SQL Server
Algorand SDK for .Net Framework to interact with the Algorand network
A wrapper around F# interactive (fsi) that exposes an MCP server endpoint for AI agents allowing for fsi IO.
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
Formalizing RFC 826 Address Resolution Protocol
FsMath is a lightweight maths library designed for modern F# workflows
goswinr / fseye
Forked from ingted/fseyeA visual object tree inspector for the F# Interactive
A visual object tree inspector for the F# Interactive
Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.
A compiler that brings F#'s elegance and precision to systems programming through MLIR and various backends
Formalizing the Intel 4004 microprocessor
🎓 Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
📺 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!
An F# immediate-mode TUI library inspired by Jane Street's Bonsai
A library for patching, replacing and decorating .NET and Mono methods during runtime