ftc Goto Github PK

algbio

Algorithms in Molecular Biology, proteasome docking project

ballisticscalc

Simple ballistics calculator. Exhibits the strategy pattern using android tags.

bodyweight-fitness-android

Bodyweight Fitness (Android)

config-files

Config files I use for my development environment. Bash, emacs, vim, etc

connectbot

ConnectBot is the first SSH client for Android.

droidel

Framework model for static analysis of Android

gitdemo

gitdemo

gitignore

A collection of useful .gitignore templates

headphones

A set of 3D-printed headphones, alongside a DAC/amp/EQ board powered by a Raspberry Pico.

hopper

Goal-directed static analysis tool for JVM languages.

jasmin

m4c_api

Make 4 Covid api

nextgislogger

Productive GSM data logger for Android

noveldroid

An android app for extracting novel contents from forum posts

ocamlexamples

This is a random assortment of ocaml examples that I find myself googling for frequently.

osmtracker-android

GPS tracking tool for OpenStreetMap

plpaper

ProgrammingLanguagesPaper

probabilistic-sketches

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

scala-smtlib

Scala library for parsing and printing the SMT-LIB format

scalaprotoexample

example of usage of proto buffers with scala

sgtpuzzles

Android port of Simon Tatham's Puzzles. *git replace in use* - you might want to {{ git fetch origin 'refs/replace/*:refs/replace/*' }}

shawn_meier

signal-android

A private messenger for Android.

soapui-test

used to track down version control bug in soap-ui

treelock

A mutual exclusion algorithm using a tree

walautil

WALA utility methods for Scala projects.

yamba

Yamba app, final, as described in Learning Android 2E

z3-docker

A docker container and scripts for running the z3 theorem prover.

zmk

ZMK Firmware Repository