The Rho Computational Toolkit is a collection of Scala / JVM APIs that facilitate writing software for an open-ended variety of logical inference programs.
Randall Schulz RSchulz
RSchulz
/ gist:569430
Created
September 8, 2010 01:15
RSchulz
/ gist:569433
Created
September 8, 2010 01:17
RSchulz
/ gist:570296
Created
September 8, 2010 15:31
RSchulz
/ gist:570973
Created
September 8, 2010 22:38
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
| 3624> git add -f project/build.properties project/build/src/ProjectRho.scala | |
| 3625> | |
| 3625> git status | |
| # On branch master | |
| # Changed but not updated: | |
| # (use "git add/rm <file>..." to update what will be committed) | |
| # (use "git checkout -- <file>..." to discard changes in working directory) | |
| # | |
| # deleted: src/rrs/util/WeakIdentityHashMap.java | |
| # |
RSchulz
/ gist:587992
Created
September 20, 2010 14:39
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
| /* ____ __ | |
| ** / __ \ / /_ ____ | |
| ** / /_/ // __ \ / __ \ © 2009 H&S Information Systems | |
| ** / _, _// / / // /_/ / ALL RIGHTS RESERVED | |
| ** /_/ |_|/_/ /_/ \____/ | |
| */ | |
| /* | |
| Limiter.scala |
RSchulz
/ gist:624465
Created
October 13, 2010 17:14
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
| implicit def intTimes(count: Int) = | |
| new { | |
| /** Iterate ``f`` ``count`` times, not passing the iteration index */ | |
| def times(f: => Unit) = | |
| 1 to count foreach { _ => f } | |
| /** Iterate ``f`` ``count`` times, passing the iteration index each time */ | |
| def iTimes(f: Int => Unit) = | |
| 1 to count foreach { i => f(i) } | |
| } |
RSchulz
/ gist:627393
Created
October 15, 2010 00:54
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
| 1746> sbt | |
| java.lang.NoClassDefFoundError: SaveableXml | |
| at BuildTAF.<init>(TAF.scala:7) | |
| at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) | |
| at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:39) | |
| at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:27) | |
| at java.lang.reflect.Constructor.newInstance(Constructor.java:513) | |
| at sbt.Project$.constructProject(Project.scala:391) | |
| at sbt.Project$$anonfun$9.apply(Project.scala:365) | |
| at sbt.Project$$anonfun$9.apply(Project.scala:364) |
RSchulz
/ gist:627399
Created
October 15, 2010 00:56
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
| 1747> sbt | |
| [info] | |
| [info] Updating plugins... | |
| [warn] module not found: com.github.mpeltonen#sbt-idea-plugin_2.7.7;0.1-SNAPSHOT | |
| [warn] ==== local: tried | |
| [warn] /Users/rschulz/.ivy2/local/com.github.mpeltonen/sbt-idea-plugin_2.7.7/0.1-SNAPSHOT/ivys/ivy.xml | |
| [warn] -- artifact com.github.mpeltonen#sbt-idea-plugin_2.7.7;0.1-SNAPSHOT!sbt-idea-plugin_2.7.7.jar: | |
| [warn] /Users/rschulz/.ivy2/local/com.github.mpeltonen/sbt-idea-plugin_2.7.7/0.1-SNAPSHOT/jars/sbt-idea-plugin_2.7.7.jar | |
| [warn] ==== sbt-idea-repo: tried | |
| [warn] http://mpeltonen.github.com/maven/com/github/mpeltonen/sbt-idea-plugin_2.7.7/0.1-SNAPSHOT/sbt-idea-plugin_2.7.7-0.1-SNAPSHOT.pom |
RSchulz
/ gist:627406
Created
October 15, 2010 01:01
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
| import sbt._ | |
| class Plugins(info: ProjectInfo) | |
| extends PluginDefinition(info) | |
| { | |
| val sbtIdeaRepo = "sbt-idea-repo" at "http://mpeltonen.github.com/maven/" | |
| val sbtIdea = "com.github.mpeltonen" % "sbt-idea-plugin" % "0.1-SNAPSHOT" | |
| val ideaCore = "com.github.mpeltonen" %% "sbt-idea-core" % "0.1-SNAPSHOT" | |
| } |
RSchulz
/ gist:627408
Created
October 15, 2010 01:02
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
| Hit enter to retry or 'exit' to quit: | |
| [info] Recompiling plugin definition... | |
| [info] Source analysis: 1 new/modified, 0 indirectly invalidated, 0 removed. | |
| [info] | |
| [info] Updating plugins... | |
| [info] downloading http://mpeltonen.github.com/maven/com/github/mpeltonen/sbt-idea-core_2.7.7/0.1-SNAPSHOT/sbt-idea-core_2.7.7-0.1-SNAPSHOT.jar ... | |
| [info] [SUCCESSFUL ] com.github.mpeltonen#sbt-idea-core_2.7.7;0.1-SNAPSHOT!sbt-idea-core_2.7.7.jar (508ms) | |
| [info] downloading http://mpeltonen.github.com/maven/com/github/mpeltonen/sbt-idea-plugin/0.1-SNAPSHOT/sbt-idea-plugin-0.1-SNAPSHOT.jar ... | |
| [info] [SUCCESSFUL ] com.github.mpeltonen#sbt-idea-plugin;0.1-SNAPSHOT!sbt-idea-plugin.jar (167ms) | |
| [info] :: retrieving :: plugin-definition#plugin-definition_2.7.7 [sync] |
OlderNewer