Oxel40

Oxel40's Stars

• Copilot-Language/copilot

  A stream-based runtime-verification framework for generating hard real-time C code.

  Language:Haskell61949

• samber/lo

  💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)

  Language:Go16k724

• plausible/analytics

  Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.

  Language:Elixir19k1k

• jsonmaur/phoenix-pages

  Blogs, docs, and static pages in Phoenix

  Language:Elixir641

• saleyn/erlexec

  Execute and control OS processes from Erlang/OTP

  Language:C++520138

• elixir-nx/axon

  Nx-powered Neural Networks

  Language:Elixir1.5k99

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  282k26.5k

• chrismccord/single_file_phx_bumblebee_ml

  Language:Elixir937

• ThePrimeagen/init.lua

  Language:Lua3.1k573

• JulienPalard/Pipe

  A Python library to use infix notation in Python

  Language:Python1.9k113

• elixir-nx/nx

  Multi-dimensional arrays (tensors) and numerical definitions for Elixir

  Language:Elixir2.5k190

• coreylowman/dfdx

  Deep learning in Rust, with shape checked tensors and neural networks

  Language:Rust1.7k98

• Wilfred/difftastic

  a structural diff that understands syntax 🟥🟩

  Language:Rust20k318

• hyprwm/Hyprland

  Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

  Language:C++18k754

• sxiii/docker-pxe-rancher-swarm

  Docker container with PXE Server, that boots into RancherOS and adds your booted node into a Swarm cluster

  Language:Dockerfile5

• KomputeProject/kompute

  General purpose GPU compute framework built on Vulkan to support 1000s of cross vendor graphics cards (AMD, Qualcomm, NVIDIA & friends). Blazing fast, mobile-enabled, asynchronous and optimized for advanced GPU data processing usecases. Backed by the Linux Foundation.

  Language:C++1.6k137

• owickstrom/gi-gtk-declarative

  Declarative GTK+ programming in Haskell

  Language:Haskell28432

• tariqbuilds/linux-dash

  A beautiful web dashboard for Linux

  Language:JavaScript10.4k1.2k

• diku-dk/futhark

  :boom::computer::boom: A data-parallel functional programming language

  Language:Haskell2.3k164

• jtdaugherty/brick

  A declarative Unix terminal UI library written in Haskell

  Language:Haskell1.6k165

• lk-geimfari/awesomo

  Cool open source projects. Choose your project and get involved in Open Source development now.

  Language:Go9.3k660

• caddyserver/caddy

  Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

  Language:Go55.6k3.9k

• obsidiansystems/obelisk

  Functional reactive web and mobile applications, with batteries included.

  Language:Haskell938102

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust3.9k288

• kowainik/learn4haskell

  👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

  Language:Haskell977830

• Gabriella439/haskell-nix

  Nix and Haskell in production

  Language:Nix1.1k118

• dmjio/miso

  :ramen: A tasty Haskell front-end framework

  Language:Haskell2.2k133

• folke/tokyonight.nvim

  🏙 A clean, dark Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins. Includes additional themes for Kitty, Alacritty, iTerm and Fish.

  Language:Lua5.9k386

• libratbag/libratbag

  A DBus daemon to configure input devices, mainly high-end and gaming mice

  Language:C2k249

• medusalix/xone

  Linux kernel driver for Xbox One and Xbox Series X|S accessories

  Language:C1.7k105