3699n

3699n's Stars

• gleam-lang/gleam

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

  Language:Rust18.6k902k789

• Fmstrat/winapps

  Run Windows apps such as Microsoft Office/Adobe in Linux (Ubuntu/Fedora) and GNOME/KDE as if they were a part of the native OS, including Nautilus integration.

  Language:Shell8.9k113321418

• runtipi/runtipi

  Runtipi is a homeserver for everyone! One command setup, one click installs for your favorites self-hosted apps. ✨

  Language:TypeScript8.1k40360288

• digitallyinduced/ihp

  🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

  Language:Haskell5k38821200

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.6k1062.7k320

• alainm23/planify

  Task manager with Todoist & Nextcloud support designed for GNOME

  Language:Vala3.8k361.2k220

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.4k61352167

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.6k651.2k380

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.6k665.6k365

• flix/flix

  The Flix Programming Language

  Language:Scala2.2k253.8k157

• pretzelai/pretzelai

  The modern replacement for Jupyter Notebooks

  Language:TypeScript2.1k1152143

• winapps-org/winapps

  Run Windows apps such as Microsoft Office/Adobe in Linux (Ubuntu/Fedora) and GNOME/KDE as if they were a part of the native OS, including Nautilus integration. Hard fork of https://github.com/Fmstrat/winapps/

  Language:Shell1.7k1922473

• elixir-nx/axon

  Nx-powered Neural Networks

  Language:Elixir1.6k46241105

• astro/microvm.nix

  NixOS MicroVMs

  Language:Nix1.5k19159114

• vmware/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:Java1.4k31417122

• sharkdp/numbat

  A statically typed programming language for scientific computations with first class support for physical dimensions and units

  Language:Rust1.4k1136656

• elixir-explorer/explorer

  Series (one-dimensional) and dataframes (two-dimensional) for fast and elegant data exploration in Elixir

  Language:Elixir1.2k31354126

• zeroxoneafour/polonium

  Autotile manager for Plasma 6

  Language:TypeScript9711115718

• snowfallorg/nixos-conf-editor

  A libadwaita/gtk4 app for editing NixOS configurations

  Language:Rust52592112

• Frost-group/The-Oracle-of-Zotero

  LLM Chain querying a scientific Zotero library, with citations

  Language:Python421107

• toblotron/praxis-ide

  An online IDE for visual programming in Prolog

  Language:JavaScript2364810

• AshleyYakeley/NixVirt

  LibVirt domain management for Nix

  Language:Nix21733624

• xiagw/winapps

  Run Windows apps such as Microsoft Office/Adobe in Linux (Ubuntu/Fedora) and GNOME/KDE as if they were a part of the native OS, including Nautilus integration.

  Language:Shell1207010

• tuProlog/2p-kt

  A Kotlin Multi-Platform ecosystem for symbolic AI

  Language:Kotlin97319915

• Kicksecure/apparmor-profile-everything

  deprecated - maybe replaced by: `apparmor.d`

  Language:Shell877411

• SeaDve/Delineate

  View and edit graphs

  Language:Rust74482

• storopoli/flakes

  NixOS/MacOS Nix Minimalist-Hardened-Privacy-oriented Configs

  Language:Nix570205

• tiredofit/nixos-config

  NixOS configurations

  Language:Nix46416

• Janik-Haag/nm2nix

  Converts .nmconnection files into nix code

  Language:Python37236

• Seneral/ExpansionBay

  CAD and documentation for the Expansion Bay module system in the Framework Laptop 16

  8202