Skip to content

Instantly share code, notes, and snippets.

View mausch's full-sized avatar

Mauricio Scheffer mausch

244 followers · 21 following
View GitHub Profile
@mausch
mausch / flake.nix
Last active February 3, 2026 15:09
dotnet-sherlock-flake.nix
{
description = "dotnet-sherlock-mcp MCP Server";
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/52e928c7c909522d9a5fa5faebc0a178b5487c6a";
flake-parts.url = "github:hercules-ci/flake-parts";
};
outputs = inputs @ { flake-parts, ... }:
flake-parts.lib.mkFlake { inherit inputs; } {
@mausch
mausch / flake.nix
Created January 9, 2026 08:50
csharp-ls
{
description = "csharp-ls language server";
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/723a7b8c5ec99cb2275aadf2fd83f65d2c6dd6ec";
flake-parts.url = "github:hercules-ci/flake-parts";
};
outputs = inputs @ {flake-parts, ...}:
flake-parts.lib.mkFlake {inherit inputs;} {
@mausch
mausch / docker-convert.py
Created November 24, 2015 17:29
Convert a pypi package into a conda package and upload it to anaconda.org
#!/bin/bash
set -e
set -u
cat << 'EOF' > convert.sh
set -x
apt-get install -y patch
conda install -y conda-build anaconda-client
conda skeleton pypi $PIP_PACKAGE
conda build -c $ANACONDA_CHANNEL --python 3.4 $PIP_PACKAGE
CONDA_OUTPUT=/opt/conda/conda-bld/linux-64
@mausch
mausch / flake.nix
Last active June 14, 2025 16:46
llama-vicuna.nix
{
description = "llama.cpp running vicuna";
inputs = {
llama.url = "github:ggerganov/llama.cpp/aaf3b23debc1fe1a06733c8c6468fb84233cc44f";
flake-utils.url = "github:numtide/flake-utils/033b9f258ca96a10e543d4442071f614dc3f8412";
nixpkgs.url = "github:NixOS/nixpkgs/d9f759f2ea8d265d974a6e1259bd510ac5844c5d";
};
outputs = { self, flake-utils, llama, nixpkgs }:
@mausch
mausch / aws-workspaces.sh
Last active October 3, 2024 03:25
Run AWS WorkSpaces client on any Linux distro supporting Docker
#!/usr/bin/env bash
set -eu
dockerfile=$(mktemp)
trap "rm $dockerfile" EXIT
cat << EOF > $dockerfile
FROM ubuntu:bionic
RUN apt-get update && apt-get install -y wget gnupg2
@mausch
mausch / flake.nix
Last active November 25, 2023 11:49
llama-cpp-python nix flake
{
# inputs.llama-cpp.url = "github:ggerganov/llama.cpp/47068e517004d90f13c16352bb3b4cafd53a00cd";
inputs.llama-cpp.url = "github:mausch/llama.cpp/4ec0000d119289f3545283651491b75080bd75bd";
inputs.nixpkgs.url = "github:nixos/nixpkgs/78058d810644f5ed276804ce7ea9e82d92bee293";
inputs.flake-utils.url = "github:numtide/flake-utils/f9e7cf818399d17d347f847525c5a5a8032e4e44";
outputs = { self, nixpkgs, flake-utils, llama-cpp }:
flake-utils.lib.eachDefaultSystem (system:
let
pkgs = nixpkgs.legacyPackages.${system};
@mausch
mausch / .envrc
Last active May 9, 2023 11:13
devenv test
source_url "https://raw.githubusercontent.com/cachix/devenv/d1f7b48e35e6dee421cfd0f51481d17f77586997/direnvrc" "sha256-YBzqskFZxmNb3kYVoKD9ZixoPXJh1C9ZvTLGFRkauZ0="
use devenv
@mausch
mausch / flake.nix
Created April 14, 2023 10:21
Llama.cpp + Alpaca-30B
{
description = "llama.cpp running Alpaca-30B";
inputs = {
llama.url = "github:ggerganov/llama.cpp/aaf3b23debc1fe1a06733c8c6468fb84233cc44f";
flake-utils.url = "github:numtide/flake-utils/033b9f258ca96a10e543d4442071f614dc3f8412";
nixpkgs.url = "github:NixOS/nixpkgs/d9f759f2ea8d265d974a6e1259bd510ac5844c5d";
};
outputs = { self, flake-utils, llama, nixpkgs }:
@mausch
mausch / gist:3188428
Created July 27, 2012 14:43
Async exception handling in F#
open System
open System.Net
// exception handling in async using Async.Catch
let fetchAsync (name, url:string) =
async {
let uri = new System.Uri(url)
let webClient = new WebClient()
let! html = Async.Catch (webClient.AsyncDownloadString(uri))
match html with
@mausch
mausch / country_grid.sql.gz
Last active March 20, 2022 14:04
country_osm_grid for Nominatim
This file has been truncated, but you can view the full file.
View raw