Jeremiah Via (@jvia)
github

jvia

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    27
  • Global Rank 529,752 (Top 19 %)
  • Followers 20
  • Following 15
  • Registered over 14 years ago
  • Most used languages
    Java
         62.5 %
    Clojure
         12.5 %
    Prolog
         6.3 %
    Standard ML     6.3 %
    Makefile     6.3 %
    Python
         6.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 94,186
  • Country Ranking
    Standard ML     126
    Prolog
         354
    Clojure
         1,098
    Makefile     3,902
    Java
         9,776

Top repositories

1

elastidiff

Clojure
5
star
2

nxt

Code from our first year robotics module.
Java
2
star
3

proto2spec

A spec generator for Google Protobuf
Clojure
2
star
4

fyp

Fault Detection in Robots
Java
2
star
5

aucom.sa

Bridge to aucom anomaly detection for CAST.
Java
1
star
6

robotic-fault-detection

An online data-driven fault detection mechanism for CAST.
Java
1
star
7

ros-aucom-connection

Creates a connection because ROS and the aucom fault detector.
1
star
8

counter.sa

Watches the CAST working memory so other components can make decisions
Java
1
star
9

gscheme

gamma scheme: a simple typed uscheme
Standard ML
1
star
10

monitor.sa

Simple CAST monitor sub-architecture.
Java
1
star
11

ros_aucom_bridge

A connection to the aucom anomaly detection system.
Python
1
star
12

cv

My CV
Makefile
1
star
13

robotics

Java
1
star
14

updater.sa

Basic updating CAST sub-architecture
Java
1
star
15

hex

A simple implementation of the game Hex in Prolog.
Prolog
1
star
16

darkmatter

The game for my team Java class.
Java
1
star
17

collatz.sa

The Collatz sequence in CAST; used to model complex message chains.
Java
1
star