dawedawe
Co-maintainer of Fantomas and FsHttp. Contributor to the fsharp compiler and dev tooling in general. Member of AmplifyingFSharp. Cyclist. Runner.
Cologne/Germany
dawedawe's Stars
chrislgarry/Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
microsoft/monaco-editor
A browser based code editor
swaywm/sway
i3-compatible Wayland compositor
windmill-labs/windmill
Open-source developer platform to power your entire infra and turn scripts into webhooks, workflows and UIs. Fastest workflow engine (13x vs Airflow). Open-source alternative to Retool and Temporal.
munificent/craftinginterpreters
Repository for the book "Crafting Interpreters"
trifectatechfoundation/teach-rs
A modular, reusable university course for Rust
eclipsesource/jsonforms
Customizable JSON Schema-based forms with React, Angular and Vue support out of the box.
GuillaumeGomez/sysinfo
Cross-platform library to fetch system information
rust-scraper/scraper
HTML parsing and querying with CSS selectors
microsoft/debug-adapter-protocol
Defines a common protocol for debug adapters.
TypeFox/monaco-languageclient
Repo hosts npm packages for monaco-languageclient, vscode-ws-jsonrpc, monaco-editor-wrapper, @typefox/monaco-editor-react and monaco-languageclient-examples
RayMarch/ferris3d
A free 3D model of Ferris the rustacean
microsoft/vscode-debugadapter-node
Debug adapter protocol and implementation for VS Code.
codemerx/CodemerxDecompile
The first standalone .NET decompiler for Mac, Linux and Windows
7sharp9/write-you-an-inference-in-fsharp
Different type inference algorithms implemented in F#
graninas/Pragmatic-Type-Level-Design
Code and materials for my book "Pragmatic Type Level Design"
SirEthanator/Hyprland-Dots
My Everforest and Catppuccin config for Hyprland!
ZUGFeRD/quba-viewer
Quba is a viewer for electronic invoices
qualified/lsp-ws-proxy
WebSocketify any Language Server
ionide/LanguageServerProtocol
Library for building Language Server Protocol servers and clients in F#.
Rustaceans/rust-cologne
Website for Rust User Group Cologne
AArnott/StreamJsonRpc.Sample
Sample use of StreamJsonRpc that demonstrate separate client/server processes over named pipes.
polylith/monaco-debugger
amplifying-fsharp/fsharplang
This is a temporary place while working on an updated fsharp language specification
gam3du/gam3du
Simple scriptable 3D engine serving as a foundation for programming classes
lamg/wybe
Wybe proof checker and language definition
active-group/tutorialtag-2024-ddd-fp
Tutorialtag 2024: DDD vs. FP
active-group/tutorialtag-2024-isabelle
Tutorialtag 2024: Isabelle/HOL
corrode/testing-workshop
Learning material for the workshop 'Testing in Rust'
lamg/numinos.xyz