Skip to content

Instantly share code, notes, and snippets.

View atondwal's full-sized avatar

Anish Tondwalkar atondwal

38 followers · 19 following
View GitHub Profile
@atondwal
atondwal / edric-demo.ipynb
Created August 12, 2024 09:11
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@atondwal
atondwal / ibacklight.hs
Created April 14, 2021 20:24
#!/usr/bin/env nix-shell
#! nix-shell -i runhaskell -p "haskellPackages.ghcWithPackages (pkgs: [pkgs.shqq])"
{-# LANGUAGE QuasiQuotes #-}
import System.ShQQ (sh)
import System.Environment (getArgs)
parseOp :: Num a => Char -> a -> a -> a
parseOp '+' = (+)
parseOp '-' = (-)
@atondwal
atondwal / map_game.c
Last active February 2, 2020 08:18
#include <stdio.h>
#include <wchar.h>
#include <locale.h>
#include <stdlib.h>
#include <termios.h>
#include <unistd.h>
static int MapSizeRow = 10 + 2; //map size with boundaries in vertical direction
static int MapSizeCol = 20 + 2; //map size with boundaries in horizontal direction
@atondwal
atondwal / tcp_client.hs
Last active October 20, 2019 05:24
-- Message -> State -> State
measure updateRecv :: Int -> Int -> Int
measure updateSend :: Int -> Int -> Int
undefined as rforall a. a
undefined = 0
assert :: {v:Bool | v} -> Unit
assert = \tru -> Unit
@atondwal
atondwal / twoPhaseCommit.hs
Created October 17, 2019 18:14
-- tick and tock with session types in Mist
-- Message -> State -> State
measure updateRecv :: Int -> Int -> Int
measure updateSend :: Int -> Int -> Int
undefined as rforall a. a
undefined = 0
assert :: {v:Bool | v} -> Unit
@atondwal
atondwal / asdf.hs
Created December 24, 2018 23:24
{-# LANGUAGE TypeFamilies, DeriveFunctor #-}
module Expr where
import Data.Functor.Foldable
data ExprF a
= ConstF Double
| AddF a a
| SubF a a
| MulF a a
@atondwal
atondwal / userChrome.css
Created December 7, 2018 03:05
#toolbar-menubar[inactive] + #TabsToolbar {
//visibility: collapse;
}
#sidebar-box[sidebarcommand="treestyletab_piro_sakura_ne_jp-sidebar-action"] #sidebar-header {
display: none;
}
splitter {
padding: 5px;
@atondwal
atondwal / userChrome.css
Created December 4, 2018 19:36
/* Hide various elements */
#back-button[disabled = "true"],
#forward-button[disabled = "true"],
#new-tab-button,
.scrollbutton-down,
.scrollbutton-up
{ display: none !important; }
/* Hide splitter, when using Tree Style Tab. */
#sidebar-box[sidebarcommand="treestyletab_piro_sakura_ne_jp-sidebar-action"] + #sidebar-splitter {
@atondwal
atondwal / .vimrc
Created December 4, 2018 19:34
" vim: foldmethod=marker foldlevel=0
" {{{ Plugins
if has("nvim") | let path=$HOME."/.config/nvim/autoload/plug.vim"
else | let path=$HOME."/.vim/autoload/plug.vim"
endif
function! MyOnBattery()
if filereadable("/sys/class/power_supply/ADP0/online")
return readfile('/sys/class/power_supply/ADP0/online') == ['0']
endif
@atondwal
atondwal / ibacklight.hs
Last active August 16, 2018 06:15
#!/usr/bin/env nix-shell
#! nix-shell -i runhaskell -p "haskellPackages.ghcWithPackages (pkgs: [pkgs.shqq])"
{-# LANGUAGE QuasiQuotes #-}
import System.ShQQ (sh)
import System.Environment (getArgs)
parseOp :: Num a => Char -> a -> a -> a
parseOp '+' = (+)
parseOp '-' = (-)