chessai chessai

one must imagine sisyphus hacking

254 followers · 1 following

View GitHub Profile

Recently created

Least recently created

Recently updated

Least recently updated

chessai / liquid-types.hs

Created January 15, 2018 16:51

	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE KindSignatures #-}

	module Foo where

	import Data.Proxy
	import GHC.Types

	data L a = Nil \| Cons a (L a)

chessai / try-pokemon.hs

Created January 16, 2018 06:16

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE NoImplicitPrelude #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE StandaloneDeriving #-}
	{-# LANGUAGE TypeInType #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}

chessai / shell.nix

Created January 16, 2018 21:20

	# Invoking nix-shell sets up an environment where we can build ghc
	# by only invoking hadrian.

	{ package ? "ghc-dev", compiler ? "ghc822" }:

	let
	fetchNixpkgs = import ./fetchNixpkgs.nix;
	nixpkgs = fetchNixpkgs {
	rev = "01705125314fa0c7753f27c3dd7c4bfbda55c375";
	sha256 = "1a96vb4hlhnadm445lifq02wg2vz0a2hyxrcl6d0jy2cn7427aq6";

chessai / Example.hs

Created January 19, 2018 18:46

	{-# LANGUAGE CPP #-}

	#define InnieOuttie IO
	#define class module
	#define begin where
	#define mayo main
	-- #define () Unit
	#define memo putStrLn
	-- #define :: beA
	-- #define = ==

chessai / BF.c

Created January 22, 2018 04:59

	#include <stdio.h>
	#include <stdlib.h>
	int main() {
	char mem[30000],
	*ptr = mem;
	++ptr;
	++(*ptr);
	++(*ptr);
	++(*ptr);
	++(*ptr);

chessai / mandelbrot.bf

Last active January 22, 2018 05:05

	+++++++++++++[->++>>>+++++>++>+<<<<<<]>>>>>++++++>--->>>>>>>>>>+++++++++++++++[[
	>>>>>>>>>]+[<<<<<<<<<]>>>>>>>>>-]+[>>>>>>>>[-]>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>[-]+
	<<<<<<<+++++[-[->>>>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>>>>+>>>>>>>>>>>>>>>>>>>>>>>>>>
	>+<<<<<<<<<<<<<<<<<[<<<<<<<<<]>>>[-]+[>>>>>>[>>>>>>>[-]>>]<<<<<<<<<[<<<<<<<<<]>>
	>>>>>[-]+<<<<<<++++[-[->>>>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>>>+<<<<<<+++++++[-[->>>
	>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>>>+<<<<<<<<<<<<<<<<[<<<<<<<<<]>>>[[-]>>>>>>[>>>>>
	>>[-<<<<<<+>>>>>>]<<<<<<[->>>>>>+<<+<<<+<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>
	[>>>>>>>>[-<<<<<<<+>>>>>>>]<<<<<<<[->>>>>>>+<<+<<<+<<]>>>>>>>>]<<<<<<<<<[<<<<<<<
	<<]>>>>>>>[-<<<<<<<+>>>>>>>]<<<<<<<[->>>>>>>+<<+<<<<<]>>>>>>>>>+++++++++++++++[[
	>>>>>>>>>]+>[-]>[-]>[-]>[-]>[-]>[-]>[-]>[-]>[-]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>-]+[

chessai / sierpinski.bf

Created January 22, 2018 05:14

	[ This program prints Sierpinski triangle on 80-column display. ]
	>
	+ +
	+ +
	[ < + +
	+ +
	+ + + +
	> - ] >
	+ + + + + + + +
	[ >

chessai / default.nix

Last active February 13, 2018 23:14

	{ package ? "interface" , test ? false, frontend ? false }:
	let fetchNixpkgs = import ./fetchNixpkgs.nix;
	nixpkgs = fetchNixpkgs {
	rev = "eb857611378576f96022867a9fd15a7a841e518c";
	sha256 = "0gnlxsmc7gi06dqlij1bgmcias83isldrvydw4688qpm8h4wdf44";
	};
	pkgs = import nixpkgs { config = {}; };

	fetch-github-json = owner: repo: path:
	let commit = builtins.fromJSON (builtins.readFile path);

chessai / typeord.hs

Created February 15, 2018 18:29

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE NoImplicitPrelude #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE TypeFamilies #-}

	module Data.Type.Ord
	( Compare
	, OrdCase
	, IsEQ
	, IsLT

chessai / BOI.hs

Created February 20, 2018 00:58

	{-# language BangPatterns #-}
	{-# language DataKinds #-}
	{-# language GADTs #-}
	{-# language KindSignatures #-}
	{-# language MagicHash #-}
	{-# language NoImplicitPrelude #-}
	{-# language ScopedTypeVariables #-}
	{-# language StandaloneDeriving #-}
	{-# language TypeFamilies #-}
	{-# language TypeOperators #-}