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 ISort | |
import Data.Linear.Interface | |
import Data.Linear.Notation | |
import Data.Linear.LNat | |
import Data.Linear.LEither | |
import Data.Linear.LMaybe | |
import Data.Linear.LVect | |
-- Some useful things defined for LNats |
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 Linear.Reproduction | |
import Data.Linear.Interface | |
import Data.Linear.Notation | |
import Data.Linear.LNat | |
import Data.Linear.LEither | |
import Data.Linear.LMaybe | |
-- Some useful things defined for LNats |
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 Treemember | |
import Data.List | |
import Data.List1 | |
import Data.String | |
import Data.These | |
import Data.Maybe | |
import Data.So | |
import Libraries.Data.StringTrie | |
import Libraries.Data.StringMap |
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 Treemember | |
import Data.List1 | |
import Data.String | |
import Data.These | |
import Data.Maybe | |
import Libraries.Data.StringTrie | |
import Libraries.Data.StringMap | |
-- Take a path through the trie, and return a node's name (if there is one). |
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 SpecD | |
-- Provide a placeholder type for a spectrogram | |
SpectTy : Type | |
SpectTy = Nat | |
-- Datatype to track whether we should be returning a residual | |
data ResidualTy = Residual | Pair | |
-- Transform ResidualTy to a type that we can return |
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
/// Based on code from tui-rs/examples, adapted to support bpm calculation by beats. | |
/// A simple example demonstrating how to handle user input. This is | |
/// a bit out of the scope of the library as it does not provide any | |
/// input handling out of the box. However, it may helps some to get | |
/// started. | |
/// | |
/// This is a very simple example: | |
/// * A input box always focused. Every character you type is registered | |
/// here |
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 Main where | |
import Control.Monad | |
import Data.List | |
import Data.Function | |
-- Define a name - i.e. just a variable | |
data Name = MkName Char deriving (Eq, Show) | |
-- Define a context - a mapping from variabels to values |
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
object Tree { | |
class PrintBuilder(var content: String, var indent: Int) { | |
def +=(line: String) = { | |
content = content + "\n" + (" " * indent) + line | |
} | |
def in : Unit = { | |
indent = indent + 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
#!/bin/sh | |
resultfile=$1 | |
profilefile=$(echo $resultfile | sed -e "s/result/profiling_data/g") | |
summaryfile=$(echo $resultfile | sed -e "s/result/profile_summary/g") | |
readablesummary=$(echo $resultfile | sed -e "s/result/profile_summary_readable/g") | |
touch $profilefile |
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
/** | |
* Created by adam on 31/05/17. | |
*/ | |
package profiler | |
import scala.collection.mutable | |
import com.github.nscala_time.time.Imports._ | |
class CheckPoint(val checkpointName: String, val startTime: org.joda.time.DateTime) {} | |
// NOT THREADSAFE |
NewerOlder