Skip to content

Instantly share code, notes, and snippets.

View KeenS's full-sized avatar

κeen KeenS

468 followers · 55 following
View GitHub Profile
@KeenS
KeenS / DepTree.lean
Last active November 4, 2024 07:38
DepTree.lean
inductive Balance: Nat -> Nat -> Nat -> Type where
| lefty : Balance n.succ n.succ.succ n
| mid : Balance n n.succ n
| righty: Balance n n.succ.succ n.succ
inductive Tree (a: Type u): Nat -> Type u where
| leaf: Tree a 0
| node: Balance l n r -> Tree a l -> a -> Tree a r-> Tree a n
@KeenS
KeenS / get_window_class_in_wayland.py
Created December 12, 2021 16:06
import gi
gi.require_version("Gtk", "3.0")
from gi.repository import Gio
from gi.repository import GLib
conn = Gio.DBusProxy.new_for_bus_sync(
Gio.BusType.SESSION,
Gio.DBusProxyFlags.NONE,
# info
None,
@KeenS
KeenS / prog_lang_sys_dev.svg
Created May 11, 2021 01:09
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@KeenS
KeenS / optic.ml
Created December 20, 2020 21:15
rewrite of https://gist.github.com/leque/6dd5996b52111d7f8c12b8496b7f1688 with cps fn
module Either = struct
type ('a, 'b) t = Left of 'a | Right of 'b
let left v = Left v
let right v = Right v
let fold ~left ~right = function
| Left v -> left v
| Right v -> right v
end
@KeenS
KeenS / play_music.html
Last active April 26, 2024 04:48
<!doctype html>
<html lang="en">
<head>
<meta charset="UTF-8"/>
<title>Document</title>
</head>
<body>
<div class="controls">
<div class="left">
<div id="playButton" class="button">
@KeenS
KeenS / extract_sqrt.rs
Created October 28, 2020 11:35
fn extract_sqrt(mut n: u64) -> (u64, u64) {
let mut blocks = [0u8; 32];
let mut i = 0;
let mut ret = 0u64;
while n != 0 {
blocks[i] = (n & 0b11) as u8;
n >>= 2;
i += 1;
}
let mut q = 0;
@KeenS
KeenS / fizzbuzz_semigroup.rs
Last active October 11, 2020 07:19
With semi-group, FizzBuzz can be branchless, Try https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=08da4caba8951600e1a57b93f537d08a
//! rust port of this
//! https://twitter.com/gakuzzzz/status/1314499876969881602
//! requires nightly
// just for ease
#![feature(bool_to_option)]
// mandatory
#![feature(type_alias_impl_trait)]
// code
@KeenS
KeenS / COPYING
Last active April 2, 2020 12:12
codes used to generate https://github.com/KeenS/whitelie
GNU GENERAL PUBLIC LICENSE
Version 2, June 1991
Copyright (C) 1989, 1991 Free Software Foundation, Inc.
59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
Everyone is permitted to copy and distribute verbatim copies
of this license document, but changing it is not allowed.
Preamble
@KeenS
KeenS / Cargo.toml
Created February 21, 2020 11:25
[package]
name = "so-actix-web-reqwest"
version = "0.1.0"
edition = "2018"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[dependencies]
actix-web = "2.0"
reqwest = "0.10"
@KeenS
KeenS / qsort.smi
Last active January 3, 2020 16:35
An example of SML#'s MassiveThreads support
_require "basis.smi"
_require "thread.smi"