Lars Brünjes
brunjlar
Languages
Repos
44
Stars
202
Forks
29
Top Language
Haskell
Loading contributions...
Top Repositories
Neural Nets in native Haskell
topos programming
creating a cabal new-build configuration from a stack configuration
Simple, idealized version of the Plutus smart contract language in Haskell.
Haskell Package to solve the Generalized Pell Equation
dependently typed Haskell heaps
Repositories
44Verified documentation for the Midnight Wallet SDK
Google Docs MCP is an MCP server (primarily for use in Claude Desktop) that gains full access to your google docs and allows claude to make direct edits and formatting. Use cases include writing notes, letters, resumes, creating tables, etc.
The most powerful MCP Slack Server with no permission requirements, Apps support, GovSlack, DMs, Group DMs and smart history fetch logic.
Telegram MCP server powered by Telethon to let MCP clients read chats, manage groups, and send/modify messages, media, contacts, and settings.
Neural Nets in native Haskell
No description provided.
Capture, analyze, and improve CLI workflows with AI-driven session feedback.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
Off-chain code to interact with Genius Yield DEX contracts
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
creating a cabal new-build configuration from a stack configuration
all my talks
topos programming
No description provided.
Simple, idealized version of the Plutus smart contract language in Haskell.
No description provided.
No description provided.
Haskell Package to solve the Generalized Pell Equation
dependently typed Haskell heaps
No description provided.
No description provided.
No description provided.
Generic Authenticated Data Types
An Ethereum contract analyzer.
use your reMarkable as a graphics tablet
Simple model for Cardano Shelley pledging