Hofsiedge

Hofsiedge's Stars

• leemunroe/responsive-html-email-template

  A free simple responsive HTML email template

  Language:HTML13.2k4.4k

• stefan-hoeck/idris2-tutorial

  Language:Idris18727

• stefan-hoeck/idris2-svg

  Vector graphics in Idris2

  Language:Idris5

• obsidiansystems/obelisk

  Functional reactive web and mobile applications, with batteries included.

  Language:Haskell948104

• stefan-hoeck/idris2-async

  Asynchronous and concurrent computations in Idris2

  Language:Idris141

• stefan-hoeck/idris2-pack-db

  1716

• loov/lensm

  Go assembly and source viewer

  Language:Go3.4k123

• SilasMarvin/lsp-ai

  LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.

  Language:Rust2k68

• stefan-hoeck/idris2-dom-mvc

  Single Page Web Applications in Idris

  Language:Idris182

• stefan-hoeck/idris2-dom

  Javascript DOM bindings for Idris2

  Language:Idris477

• pocketbase-uml/pocketbase-uml.github.io

  A free, open-source web application that generates UML diagrams based on PocketBase databases

  Language:Svelte912

• kerrickstaley/genanki

  A Python 3 library for generating Anki decks

  Language:Python2k149

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.2k423

• lustre-labs/lustre

  A Gleam web framework for building HTML templates, single page applications, and real-time server components.

  Language:Gleam89362

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.7k266

• Mic92/nix-update

  Swiss-knife for updating nix packages.

  Language:Python45044

• mattwparas/steel

  An embedded scheme interpreter in Rust

  Language:Rust1.1k50

• kbertalan/idris2-go

  Language:Idris81

• HigherOrderCO/Kind1

  A modern proof language

  Language:JavaScript3.5k141

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.4k393

• Alex1005a/Idris2-HVM

  HVM backend for Idris 2 (lazy)

  Language:Idris71

• valkey-io/valkey

  A flexible distributed key-value datastore that supports both caching and beyond caching workloads.

  Language:C15.5k569

• gleam-lang/gleam

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

  Language:Rust17.4k721

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix17.3k13.5k

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++12.1k1.5k

• golang/go

  The Go programming language

  Language:Go123k17.5k

• elm/compiler

  Compiler for Elm, a functional language for reliable webapps.

  Language:Haskell7.5k656

• nibrivia/astro-integration-elm

  Server side rendering with hydration for Elm

  Language:TypeScript1

• pocketbase/pocketbase

  Open Source realtime backend in 1 file

  Language:Go38.7k1.8k

• pdfcpu/pdfcpu

  A PDF processor written in Go.

  Language:Go6.7k465