ericpony

object Main {

  class Regex
  case class Literal(s: String) extends Regex
  case class Concat(r1: Regex, r2: Regex) extends Regex
  case class Choice(r1: Regex, r2: Regex) extends Regex
  case class Star(r: Regex) extends Regex

  def accept(regex: Regex, chars: Seq[Char], k: Seq[Char] => Boolean): Boolean =
    regex match {

ericpony

/* matchhere: search for regexp at beginning of text */
int matchhere(char *regexp, char *text)
{
    if (regexp[0] == '\0')
        return 1;
    if (regexp[1] == '*')
        return matchstar(regexp[0], regexp+2, text);
    if (regexp[0] == '$' && regexp[1] == '\0')
        return *text == '\0';
    if (*text!='\0' && (regexp[0]=='.' || regexp[0]==*text))

ericpony

/**
 * Definition for singly-linked list with a random pointer.
 * struct RandomListNode {
 *     int label;
 *     RandomListNode *next, *random;
 *     RandomListNode(int x) : label(x), next(NULL), random(NULL) {}
 * };
 */
class Solution {
public:

ericpony

/**
 * Definition for singly-linked list with a random pointer.
 * class RandomListNode {
 *     int label;
 *     RandomListNode next, random;
 *     RandomListNode(int x) { this.label = x; }
 * };
 */
public class RecursiveVersion {
    public RandomListNode copyRandomList(RandomListNode head) {

ericpony

@echo off
REM Windows batch file to run jsctags
REM
REM Assumes node.exe is in your %PATH%.
REM git clone --recursive git://github.com/mozilla/doctorjs.git d:\opt\doctorjs
REM Note: Currently, the latest jsctags only works with older versions of node
REM To manage multiple versions of node on the same machine, use `n`.
REM `npm install -g n`
REM
REM Alternatively:

ericpony

import leon.lang._
import leon.collection._

abstract class Stack[T] {
  def empty : Stack[T]
  def pop : (Option[T], Stack[T])
  def push (e : T) : Stack[T]
  def size : BigInt
}

ericpony

/*
 * http://stackoverflow.com/questions/6215185/getting-length-of-video
 */

using DirectShowLib;
using DirectShowLib.DES;
using System.Runtime.InteropServices;

...