helq

tensorflow-haskell-deptyped

Reexporting TensorFlow Haskell with dependent typed functions

pinyin-beginners-anki-deck

Anki Deck to learn Mandarin Chinese pronunciation basics using Pinyin and IPA

python-ssk

Fast String Subsequence Kernel (SSK) implementation in Python (Cython)

pytropos

Experimental python linter/interpreter intended to check tensor/matrix/arrays operations using NumPy (currently only works in Python 3.6 and Python 3.7)

doryta

Neuromorphic event-driven simulator in C and MPI (successor of NeMo https://github.com/markplagge/NeMo)

helqs_userscripts

Userscripts I've written or modified

ml_hw3

Class assignment - Classifying from small-NORB dataset

yet-another-long-name-with-yet-in-it-just-kidding-this-is-a-feed-builder

A simple HTTP server to serve custom RSS feeds in Ruby. I use it to create Youtube RSS feeds with additional information such as captions and total video time, and RSS feeds on some shows I follow (using tvmaze API)

blag

my site/blog source code

doryta-experiments

Scripts and results of experiments in doryta

doryta-models

Models (binary data mostly) for doryta

gpt-2-Pytorch

Simple Text-Generator with OpenAI gpt-2 Pytorch Implementation

haskell

Haskell bindings for TensorFlow

haskell-practice

Mirror from: https://gitlab.com/helq/haskell-practice

helq.github.io

the blog

highlife-ross

An implementation of HighLife (a "Game of Life" variation) in ROSS. This serves mostly as an exercise into how to use ROSS

INGInious

INGInious is a secure and automated code assessment platform using your own tests, also providing a pluggable interface with your existing LMS.

kannada-anki-decks

Two Anki decks for bootstrapping your Kannada: minimal pairs and basic daily sentences with audio from natives from Bangalore

magda

Magda: Minimal Agda mode for Neovim

master-thesis

NeMo

NeMo - A hardware agnostic neuromorphic processor simulation model built on ROSS

old_code

Some old code. Bringing it to the world just fill space here XD

pict-4.1

A concurrent programming language based on the pi-calculus (mirrored and updated from https://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html)

ROSS

Rensselaer's Optimistic Simulation System

ross-model-example

Another exercise on how to use ROSS (two LP types example). For of helq/highlife-ross

ross-org.github.io

ROSS website

safety-envelopes-sentinels

SWM-workloads

Scalable Workload Models -- Requires boost and C++-11 to build

tachyon

DOE Tachyon Project

the-little-cppler-book

Introduction to programming using C++(11) in the style of question/answer of "The little Scheme"