Skip to content

Instantly share code, notes, and snippets.

View notogawa's full-sized avatar

notogawa notogawa

36 followers · 1 following
View GitHub Profile
@notogawa
notogawa / main.c
Created February 10, 2025 06:42
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdint.h>
#include <assert.h>
#include <errno.h>
#include <sys/time.h>
#include <sys/ioctl.h>
#include <sys/mman.h>
#include <sys/types.h>
@notogawa
notogawa / main.c
Created March 13, 2020 06:03
// gcc -o main main.c -lv4l2
#include <stdio.h>
#include <errno.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
#include <sys/types.h>
#include <sys/stat.h>
@notogawa
notogawa / main.c
Created March 13, 2020 04:34
// gcc -o main main.c -lv4l2
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <libv4l2.h>
#include <linux/videodev2.h>
@notogawa
notogawa / mnv2.onnx
Last active February 17, 2020 04:46
This file has been truncated, but you can view the full file.
View raw
@notogawa
notogawa / main.c
Created February 10, 2020 12:22
#include <stdio.h>
#include <string.h>
#include <stdint.h>
#include <assert.h>
#include <sys/time.h>
#include <sys/ioctl.h>
#include <sys/mman.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
@notogawa
notogawa / Permutation.hs
Last active February 3, 2019 04:35
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
module Permutation
( Permutation(..)
@notogawa
notogawa / WhatIsInstance.hs
Created January 30, 2019 09:07
https://haskell-jp.slack.com/archives/C5666B6BB/p1548731081317700 から始まる話
module WhatIsInstance where
data Hoge = Foo | Bar
-- 型aが同値関係を持つということを示す型
data ThisIsEq a = ThisIsEq { op :: a -> a -> Bool }
-- 型Hogeが同値関係を持つ証拠となる値
hogeIsEq :: ThisIsEq Hoge
hogeIsEq = ThisIsEq go where
@notogawa
notogawa / associative-law.hs
Created December 19, 2018 08:32
answer for https://haskell-jp.slack.com/archives/C5666B6BB/p1545201727030200
#!/bin/env stack
{-
stack --resolver=lts-12.24 script --package extensible
-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE GADTs #-}
@notogawa
notogawa / FooOrBar.hs
Created June 22, 2018 20:06
for https://haskell-jp.slack.com/archives/C5666B6BB/p1529466454000056
{-# LANGUAGE GADTs #-}
module FooOrBar (someFun, Foo(..), Bar(..)) where
data Foo = Foo deriving Show
data Bar = Bar deriving Show
-- 「a が Foo か Bar である」という命題 (を explicit parameter として扱うため)の定義
data FooOrBarExplicitParameter a where
IsFoo :: FooOrBarExplicitParameter Foo -- 「a が Foo である」という証明オブジェクト
@notogawa
notogawa / Dockerfile
Last active May 3, 2018 15:05
stack upgrade できないやつ． straceから /etc/protocols が無いのが原因ぽいので，apt install netbase で解決する．
FROM ubuntu:18.04
RUN apt-get update \
&& DEBIAN_FRONTEND=noninteractive \
apt-get upgrade -y \
&& DEBIAN_FRONTEND=noninteractive \
apt-get install -y --no-install-recommends \
haskell-stack \
&& apt-get clean && rm -rf /var/cache/apt/archives/* /var/lib/apt/lists/*