Skip to content
View valueLevelClasses.hs
{-# LANGUAGE Rank2Types
, RebindableSyntax
, ImplicitParams
, NoMonomorphismRestriction #-}
import Data.Maybe
import Data.Function
import Data.String
import Prelude (undefined, error, String, (++))
View LayoutParser.hs
module LayoutParser (
LayoutParser,
indented,
linefold,
line,
saveIndent,
align,
runLayoutParser
) where
View test.c
#include <assert.h>
#include <setjmp.h>
#include <signal.h>
#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
#include <string.h>
#include <unistd.h>
#include <time.h>
View universes.idr
typeof : {t:Type} -> t -> Type
typeof {t} _ = t
level : Nat -> Type
level Z = Nat
level (S n) = typeof (level n)
isThisTrue : level 1 = level 2
isThisTrue = refl
View 9ptest.sh
#!/bin/bash
mkdir -p /mnt/smoothie
echo -n "rename test subdirectory"
for ((i=0;i<3;++i)); do
mount -t 9p -o debug=0x204 192.168.1.6 /mnt/smoothie
for ((j=0;j<3;++j)); do
touch /mnt/smoothie/sd/test-file
mkdir /mnt/smoothie/sd/test-dir
mv /mnt/smoothie/sd/test-file /mnt/smoothie/sd/test-dir/test
View keyslip.tex
\documentclass[a4paper]{article}
\usepackage{fancyvrb}
\usepackage[export]{adjustbox}
\usepackage{graphicx,calc}
\usepackage{inconsolata}
\usepackage[margin=5mm]{geometry}
\def\Key{2693CA43}
\def\Columns{3}
\newlength\MaxWidth
View profile.rb
def profile(&b)
require 'ruby-prof'
printer = RubyProf::FlatPrinter.new(RubyProf.profile(&b))
File.open('/tmp/profile.txt', 'w') {|f| printer.print(f) }
end
View packages.rb
require 'forwardable'
module Packages
class Package
module Mixin
extend Forwardable
def_delegators :@__PACKAGE__, :import, :bind
attr_reader :__PACKAGE__
def method_added(name)
View backgroundcompaction.rb
module Daybreak
class BackgroundCompaction
def initialize(file)
@db = Daybreak::DB.new(file)
@thread = Thread.new(&method(:run))
end
def stop
@stop = true
@thread.join
View daybreak.rb
require 'thread'
require 'zlib'
class Daybreak
include Enumerable
def initialize(file)
@file = file
@out = File.open(@file, 'ab')
@queue = Queue.new
Something went wrong with that request. Please try again.