Skip to content
View smunix's full-sized avatar
23 followers · 54 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report smunix

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • snowflake Public

    Forked from Icy-Thought/snowflake

    A repository which contains my current Nix (flake-based) setup!

    Nix GNU Affero General Public License v3.0 Updated Sep 21, 2024

  • surrealdb Public

    Forked from surrealdb/surrealdb

    A scalable, distributed, collaborative, document-graph database, for the realtime web

    Rust Other Updated Sep 11, 2024

  • neovim-flake Public

    Forked from jordanisaacs/neovim-flake

    Nix flake for neovim with configuration

    Nix MIT License Updated Jul 23, 2024

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix MIT License Updated Jul 1, 2024

  • Hyprland Public

    Forked from hyprwm/Hyprland

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

    C++ BSD 3-Clause "New" or "Revised" License Updated Jun 29, 2024

  • context-tools Public

    ConTeXt repository with ease

    Nix Updated Jun 2, 2024

  • bluefin Public

    Forked from tomjaguarpaw/bluefin
    Haskell MIT License Updated May 4, 2024

  • nativity-lang Public

    Forked from birth-software/nativity

    Nativity is the compiler for Birth software. The toolchain is heavily inspired by Zig, Jai and Rust.

    Zig Updated Apr 28, 2024

  • vyq Public

    Forked from SimonRalek/vyq

    Ryze český interpretovaný programovací jazyk pro mladé programátory

    Zig MIT License Updated Apr 22, 2024

  • eclair-lang Public

    Forked from luc-tielen/eclair-lang

    An experimental, minimal Datalog implementation in Haskell

    Haskell BSD 3-Clause "New" or "Revised" License Updated Apr 22, 2024

  • buzz Public

    Forked from buzz-language/buzz

    👨‍🚀 buzz, A small/lightweight statically typed scripting language

    Zig MIT License Updated Apr 17, 2024

  • dratrion.nixos Public

    Nix 3 MIT License Updated Apr 16, 2024

  • MicroHs Public

    Forked from augustss/MicroHs

    Functional language implemented with combinators

    C Other Updated Feb 4, 2024

  • EarleyM Public

    Forked from Nick-Chapman/EarleyM

    Earley Parsing with Monadic Combinators

    Haskell BSD 3-Clause "New" or "Revised" License Updated Feb 3, 2024

  • haskell-compiler Public

    Forked from Marwes/haskell-compiler

    A mostly functional haskell compiler written in rust

    Rust MIT License Updated Dec 23, 2023

  • zig-git Public

    Forked from dantecatalfamo/zig-git

    Implementing git structures and functions in zig

    Zig MIT License Updated Nov 14, 2023

  • devenv Public

    Forked from cachix/devenv

    Fast, Declarative, Reproducible, and Composable Developer Environments

    Nix Apache License 2.0 Updated Aug 4, 2023

  • pre-commit-hooks.nix Public

    Forked from cachix/git-hooks.nix

    Seamless integration of https://pre-commit.com git hooks with Nix.

    Nix Apache License 2.0 Updated Aug 4, 2023

  • kayla-fixpoint-regexp Public

    Kayla on Functional Pearls

    Haskell Updated Jul 27, 2023

  • haskell-language-server Public

    Forked from haskell/haskell-language-server

    Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

    Haskell Apache License 2.0 Updated Jul 22, 2023

  • unfolder Public

    Forked from well-typed/unfolder

    Repository with code snippets that accompany episodes of The Haskell Unfolder

    Haskell Updated Jul 12, 2023

  • monomer Public

    Forked from fjvallarino/monomer

    An easy to use, cross platform, GUI library for writing Haskell applications.

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jul 1, 2023

  • implicit-hie-cradle Public

    Forked from Avi-D-coder/implicit-hie-cradle

    Auto generate stack or cabal multi component hie-bios Cradles, used by HLS and ghcide.

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jun 11, 2023

  • kayla-trainings Public

    Kayla Salumu is learning Haskell programming

    Haskell 1 Updated Jun 3, 2023

  • haskell-effectful-issue-01 Public

    Overlapping instances with haskell-effectful

    Nix Updated May 26, 2023

  • haskell-devenv Public

    add haskell packages in devenv example

    Nix 1 Updated May 24, 2023

  • zig Public

    Forked from ziglang/zig

    General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

    Zig MIT License Updated Apr 27, 2023

  • nur-packages Public

    NUR packages for nix

    Nix MIT License Updated Apr 17, 2023

  • pro-go Public

    Forked from Apress/pro-go

    Source Code for 'Pro Go' by Adam Freeman

    Go Other Updated Feb 25, 2023

  • cuda-devenv Public

    Cuda with devenv

    Nix Updated Feb 19, 2023