Jürgen Heiling's starred repositories

sylves

C# Grid Library

Language:C#License:NOASSERTIONStargazers:125Issues:0Issues:0

unity-signals

Signals for Unity3D

Language:C#License:MITStargazers:60Issues:0Issues:0

fsharp-cheatsheet

This cheatsheet aims to succinctly cover the most important aspects of F# 6.0.

Language:F#License:NOASSERTIONStargazers:322Issues:0Issues:0

FSharp-onion-architecture-sample

Applying F# principles to domain driven design/onion architecture.

Language:F#License:BSD-2-ClauseStargazers:45Issues:0Issues:0

fflat

F# native script compiler

Language:F#License:AGPL-3.0Stargazers:100Issues:0Issues:0

FSharp.Data.Adaptive

On-demand adaptive/incremental data for F# https://fsprojects.github.io/FSharp.Data.Adaptive/

Language:F#License:MITStargazers:245Issues:0Issues:0

FsAutoComplete

F# language server using Language Server Protocol

Language:F#License:NOASSERTIONStargazers:386Issues:0Issues:0
Language:F#License:MITStargazers:13Issues:0Issues:0
Language:F#License:MITStargazers:17Issues:0Issues:0

FSharp.Control.Fold

Represent folding of data structures and streams as values composable via F# applicative computation expressions

Language:F#License:Apache-2.0Stargazers:18Issues:0Issues:0

FS.FluentUI

V9 of Microsoft's FluentUI library, built for F# in the style of Feliz.

Language:F#License:MITStargazers:66Issues:0Issues:0

Vide

Vide - for state-aware function composition, usable from modern UIs to digital signal processing.

Language:HTMLLicense:Apache-2.0Stargazers:88Issues:0Issues:0

Avalonia.FuncUI

Develop cross-plattform GUI Applications using F# and Avalonia!

Language:F#License:MITStargazers:883Issues:0Issues:0
Language:F#Stargazers:7Issues:0Issues:0

NXUI

NXUI (nex-ui), next-gen UI - Create minimal Avalonia applications using C# 10 and .NET 6, 7 & 8

Language:C#License:MITStargazers:133Issues:0Issues:0

compiler

Compiler for Elm, a functional language for reliable webapps.

Language:HaskellLicense:BSD-3-ClauseStargazers:7475Issues:0Issues:0

red

Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!

Language:RedLicense:BSL-1.0Stargazers:5462Issues:0Issues:0

htmx

</> htmx - high power tools for HTML

Language:JavaScriptLicense:NOASSERTIONStargazers:34998Issues:0Issues:0

rescript-react

Official ReScript bindings for ReactJS

Language:ReScriptLicense:MITStargazers:465Issues:0Issues:0

fs-spectre

👻💻 Spectre.Console with F# style.

Language:F#License:MITStargazers:69Issues:0Issues:0

idris-gpd

Generic Packet Descriptions in Idris

Language:IdrisStargazers:3Issues:0Issues:0

typedefs.js

Typedefs library as a JavaScript NPM module

Language:JavaScriptStargazers:7Issues:0Issues:0

typedefs

Programming language agnostic type construction language based on polynomials.

Language:IdrisLicense:AGPL-3.0Stargazers:365Issues:0Issues:0

CQL

Categorical Query Language IDE

Language:JavaStargazers:295Issues:0Issues:0

structr

Structr is an integrated low-code development and runtime environment that uses a graph database.

Language:JavaLicense:GPL-3.0Stargazers:772Issues:0Issues:0

nocodb

🔥 🔥 🔥 Open Source Airtable Alternative

Language:TypeScriptLicense:AGPL-3.0Stargazers:43516Issues:0Issues:0

awesome-applied-ct

ACT community resources

License:MITStargazers:461Issues:0Issues:0

category-theory-programmers

Category theory in the context of (functional) programming

License:MITStargazers:511Issues:0Issues:0

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

Language:CoqLicense:BSD-3-ClauseStargazers:738Issues:0Issues:0

appsmith

Platform to build admin panels, internal tools, and dashboards. Integrates with 25+ databases and any API.

Language:TypeScriptLicense:Apache-2.0Stargazers:32265Issues:0Issues:0