Thomas Weiser (ThomasWeiser)

ThomasWeiser

Geek Repo

Location:Germany

Github PK Tool:Github PK Tool

Thomas Weiser's starred repositories

AeroSpace

AeroSpace is an i3-like tiling window manager for macOS

Language:SwiftLicense:MITStargazers:3527Issues:0Issues:0

intellij-elm

Elm plugin for IntelliJ Platform IDEs

Language:KotlinLicense:MITStargazers:393Issues:0Issues:0

elmplus-docs

Documents related to an Elm-like compiler to C

License:BSD-3-ClauseStargazers:5Issues:0Issues:0

zokka-compiler

Fork of compiler for Elm, a functional language for reliable webapps.

Language:ElmLicense:BSD-3-ClauseStargazers:81Issues:0Issues:0

elm-review-extract-api

A rule to extract the API of Elm applications using elm-review's data extraction facilities

Language:ElmLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

logseq

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

Language:ClojureLicense:AGPL-3.0Stargazers:31095Issues:0Issues:0

nbb-logseq

nbb with features enabled for logseq

Language:ClojureLicense:MITStargazers:139Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:19Issues:0Issues:0

elm-review

Analyzes Elm projects, to help find mistakes before your users find them.

Language:ElmLicense:NOASSERTIONStargazers:247Issues:0Issues:0

material-components-web-elm

Material Components for Elm

Language:ElmLicense:MITStargazers:92Issues:0Issues:0

elm-spa

single page apps made easy

Language:TypeScriptLicense:BSD-3-ClauseStargazers:458Issues:0Issues:0
Language:ShellLicense:NOASSERTIONStargazers:129Issues:0Issues:0

differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

Language:JavaLicense:MITStargazers:1347Issues:0Issues:0

cgmemtime

cgmemtime measures the high-water RSS+CACHE memory usage of a process and its descendant processes.

Language:CStargazers:106Issues:0Issues:0

meander

Tools for transparent data transformation

Language:ClojureLicense:MITStargazers:914Issues:0Issues:0

yjs

Shared data types for building collaborative software

Language:JavaScriptLicense:NOASSERTIONStargazers:15963Issues:0Issues:0

elm-doc

Generate static documentation of your Elm project.

Language:PythonLicense:BSD-3-ClauseStargazers:30Issues:0Issues:0

elm-procedure

Orchestrate commands, subscriptions, and tasks in Elm

Language:ElmLicense:BSD-3-ClauseStargazers:17Issues:0Issues:0

elm-program-test

Test Elm programs

Language:ElmLicense:MITStargazers:93Issues:0Issues:0

elm-spec

Describe the behavior of Elm programs

Language:ElmLicense:MITStargazers:29Issues:0Issues:0

jest-puppeteer

Run tests using Jest & Puppeteer 🎪✨

Language:TypeScriptLicense:MITStargazers:3527Issues:0Issues:0

gleam

⭐️ A friendly language for building type-safe, scalable systems!

Language:RustLicense:Apache-2.0Stargazers:16683Issues:0Issues:0
Language:ElmLicense:BSD-3-ClauseStargazers:35Issues:0Issues:0

community

Jobs as posted on #jobs at https://functionalprogramming.slack.com/

Stargazers:46Issues:0Issues:0

realtime

Broadcast, Presence, and Postgres Changes via WebSockets

Language:ElixirLicense:Apache-2.0Stargazers:6596Issues:0Issues:0

microKanren

An Elm implementation of the μKanren language.

Language:ElmLicense:MITStargazers:5Issues:0Issues:0

aquameta

Web development platform built entirely in PostgreSQL

Language:PLpgSQLLicense:GPL-3.0Stargazers:1096Issues:0Issues:0

elm-sorter-experiment

Experimental Sorter/Dict/Set API

Language:ElmLicense:BSD-3-ClauseStargazers:8Issues:0Issues:0

elm-test-graph

Define an exection graph, and verify all possible execution orderings.

Language:ElmLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

org-web

org-mode on the web, built with React, optimized for mobile, synced with Dropbox and Google Drive

Language:JavaScriptLicense:UnlicenseStargazers:1378Issues:0Issues:0