This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE FlexibleInstances #-} | |
-- From exercise 2.40 in Algebra of Programming (Bird, 1997) | |
data TreeF a b = Leaf a | Branch b b | |
newtype Mu f = InF { outF :: f (Mu f) } | |
type Tree a = Mu (TreeF a) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
require 'redcarpet' | |
class CustomRenderHTML < Redcarpet::Render::HTML | |
def initialize(args) | |
@link_prefix = args[:link_prefix] || '' | |
super | |
end | |
def link(link, title, content) | |
link = @link_prefix + link unless link.start_with? 'http' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Program Quicksort; | |
{ | |
My first Pascal code. | |
Populates and array numbers of length N with random numbers between 1 and M, sorts it in place using quicksort, then prints each element of the list. | |
The quicksort algorithm is translate from C as found in "The Most Beautiful Code I Never Wrote" by Jon Bentley as found in the book "Beautiful Code" | |
} | |
Uses math; | |
Const |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python3 | |
from sys import stdin | |
from sys import argv | |
from collections import defaultdict | |
# Adapted from Intro to Algorithms by CLRS. | |
# A string matching automata similar to grep. | |
def computeTransitionFunction(pattern): | |
m = len(pattern) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from heapq import heappush, heappop | |
schedule = [(1, 3), (2, 5), (4, 5)] | |
def required_rooms(schedule): | |
h = [] | |
for start, end in schedule: | |
if len(h) > 0 and h[0] <= start: | |
heappop(h) | |
heappush(h, end) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
; https://leetcode.com/problems/3sum-closest/ | |
(declare-const a Int) | |
(declare-const b Int) | |
(declare-const c Int) | |
(assert (or (= a -1) (= a 2) (= a 1) (= a -4))) | |
(assert (or (= b -1) (= b 2) (= b 1) (= b -4))) | |
(assert (or (= c -1) (= c 2) (= c 1) (= c -4))) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
hello |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env ruby | |
require 'net/ssh' | |
def main | |
if ARGV.size < 3 then | |
puts 'usage: <hostname> <username> <password>' | |
else | |
hostname = ARGV[0] | |
username = ARGV[1] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE ExistentialQuantification #-} | |
-- DFA borrowed from Romain Ruetschi on github: https://gist.github.com/romac/9193493 | |
module DFA ( | |
DFA(..), | |
runDFA, | |
scanDFA, | |
isAccepting, | |
) where |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module test; | |
reg clk; | |
wire out; | |
initial begin | |
$display("newjam wave decoder"); | |
clk = 0; | |
//$monitor("%s", out); | |
end |
NewerOlder