Alexandru Scvortov scvalex

## counter.html
<!DOCTYPE html>

<html>
  <head>
    <meta charset="UTF-8">

    <title>Counter</title>
    <link rel="stylesheet" href="/r/screen.css" media="screen">

    <meta name="description" content="An HTML5 counter">

## Makefile
all: pingcat.c
	gcc -o pingcat pingcat.c

## Makefile
all: var_len_arrays.c
	gcc -O1 var_len_arrays.c -S

## Makefile
run: fib
	./fib

fib: fib.ml
	ocamlfind ocamlopt nums.cmxa fib.ml -o fib

## mat_mult.ml
(** Run:
      corebuild -pkg core_bench mat_mult.native && sleep 1 && ./mat_mult.native
*)

open Core.Std
open Core_bench.Std

module Array_mat = struct
  type mat3 = float array array
  type vec3 = float array

## existential.ml
(** Run:
      coretop existential.ml
*)

open Core.Std

type ('a, 'b) entity = {
  id        : unit -> string;
  step      : 'b -> 'b some_entity;
  to_string : unit -> string;

## poly_compare.ml
(** A circular doubly-linked list in OCaml.  See:
    https://en.wikipedia.org/wiki/Doubly_linked_list#Circular_doubly-linked_lists
*)
module Doubly_linked_list = struct
  type 'a doubly_linked_node = {
    data         : 'a;
    mutable prev : 'a doubly_linked_node;
    mutable next : 'a doubly_linked_node;
  }

## PrintfString2.hs
{-# LANGUAGE OverloadedStrings, FlexibleInstances, UndecidableInstances #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# OPTIONS_GHC -fno-warn-orphans -fno-warn-type-defaults #-}

module Main where

import Data.String ( IsString(..) )

--------------------
-- Custom printf that takes '%s' for `Show` values.

## PrintfString.hs
{-# LANGUAGE OverloadedStrings, FlexibleInstances, UndecidableInstances #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}

import Data.String ( IsString(..) )
import Text.Printf ( PrintfType, printf )

instance (PrintfType a) => IsString a where
    fromString s = printf s

main :: IO ()

## prec.c
#include <stdio.h>

int main(int argc, char *argv[]) {
    printf("1 << 1 + 2      = %d\n", 1 << 1 + 2);
    printf("1 << 1 * 3      = %d\n", 1 << 1 * 3);
    printf("1 << 1 + 1 << 1 = %d\n", 1 << 1 + 1 << 1);

    return 0;
}
	<!DOCTYPE html>

	<html>
	<head>
	<meta charset="UTF-8">

	<title>Counter</title>
	<link rel="stylesheet" href="/r/screen.css" media="screen">

	<meta name="description" content="An HTML5 counter">
	run: fib
	./fib

	fib: fib.ml
	ocamlfind ocamlopt nums.cmxa fib.ml -o fib
	(** Run:
	corebuild -pkg core_bench mat_mult.native && sleep 1 && ./mat_mult.native
	*)

	open Core.Std
	open Core_bench.Std

	module Array_mat = struct
	type mat3 = float array array
	type vec3 = float array
	(** Run:
	coretop existential.ml
	*)

	open Core.Std

	type ('a, 'b) entity = {
	id : unit -> string;
	step : 'b -> 'b some_entity;
	to_string : unit -> string;
	(** A circular doubly-linked list in OCaml. See:
	https://en.wikipedia.org/wiki/Doubly_linked_list#Circular_doubly-linked_lists
	*)
	module Doubly_linked_list = struct
	type 'a doubly_linked_node = {
	data : 'a;
	mutable prev : 'a doubly_linked_node;
	mutable next : 'a doubly_linked_node;
	}
	{-# LANGUAGE OverloadedStrings, FlexibleInstances, UndecidableInstances #-}
	{-# LANGUAGE ExistentialQuantification #-}
	{-# OPTIONS_GHC -fno-warn-orphans -fno-warn-type-defaults #-}

	module Main where

	import Data.String ( IsString(..) )

	--------------------
	-- Custom printf that takes '%s' for `Show` values.
	{-# LANGUAGE OverloadedStrings, FlexibleInstances, UndecidableInstances #-}
	{-# OPTIONS_GHC -fno-warn-orphans #-}

	import Data.String ( IsString(..) )
	import Text.Printf ( PrintfType, printf )

	instance (PrintfType a) => IsString a where
	fromString s = printf s

	main :: IO ()
	#include <stdio.h>

	int main(int argc, char *argv[]) {
	printf("1 << 1 + 2 = %d\n", 1 << 1 + 2);
	printf("1 << 1 * 3 = %d\n", 1 << 1 * 3);
	printf("1 << 1 + 1 << 1 = %d\n", 1 << 1 + 1 << 1);

	return 0;
	}