Steve Freeman (sf105)

sf105

Geek Repo

Company:Higher Order Logic

Home Page:http://www.higherorderlogic.com

Github PK Tool:Github PK Tool


Organizations
hamcrest
jmock-developers

Steve Freeman's starred repositories

neverworkintheory.github.io

Reviews of empirical software engineering research papers.

Language:HTMLLicense:NOASSERTIONStargazers:72Issues:0Issues:0

hurl

Hurl, run and test HTTP requests with plain text.

Language:RustLicense:Apache-2.0Stargazers:12659Issues:0Issues:0

org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Language:JavaLicense:NOASSERTIONStargazers:708Issues:0Issues:0

jamulus

Jamulus enables musicians to perform real-time jam sessions over the internet.

Language:CLicense:NOASSERTIONStargazers:986Issues:0Issues:0

jpacman

Pacman-inspired game, for teaching testing purposes. (>= v9.0.0)

Language:JavaStargazers:5Issues:0Issues:0

stayinghomeclub

A list of all the companies WFH or events changed because of covid-19

Language:RubyLicense:CC0-1.0Stargazers:487Issues:0Issues:0

example-grpc

Example of an authenticated gRPC & grpc-gateway HTTP server, and various client connection examples.

Language:GoStargazers:4Issues:0Issues:0

lets-prove-leftpad

Proving leftpad correct two-dozen different ways

Language:SystemVerilogLicense:NOASSERTIONStargazers:641Issues:0Issues:0

lost-in-transation

An attempt at translating a simple task into various styles and languages.

Language:ElixirLicense:MITStargazers:3Issues:0Issues:0

osx-homedir

My unix home directory

Language:Vim scriptStargazers:4Issues:0Issues:0

KataTrainReservation

A Kata exercise. This one involves writing code to reserve seats on a train.

Language:PythonLicense:MITStargazers:112Issues:0Issues:0

bat

A cat(1) clone with wings.

Language:RustLicense:Apache-2.0Stargazers:48588Issues:0Issues:0

shell-functools

Functional programming tools for the shell

Language:PythonLicense:MITStargazers:1182Issues:0Issues:0

RefactoringGolf

Refactoring Golf Exercise (inspired by Dave Cleal, Ivan Moore and Mike Hill)

Language:JavaStargazers:6Issues:0Issues:0

systemic

📦 A minimal dependency injection framework.

Language:JavaScriptLicense:MITStargazers:56Issues:0Issues:0

research-in-production

A collection of research papers categorized by real-world systems that enact them

Stargazers:209Issues:0Issues:0

jodd

Jodd! Lightweight. Java. Zero dependencies. Use what you like.

Language:JavaLicense:BSD-2-ClauseStargazers:4058Issues:0Issues:0

awesome-go

A curated list of awesome Go frameworks, libraries and software

Language:GoLicense:MITStargazers:128271Issues:0Issues:0

pi-hole

A black hole for Internet advertisements

Language:ShellLicense:NOASSERTIONStargazers:48386Issues:0Issues:0

unbound-block-hosts

a script to convert Dan Pollock's ad blocking hosts file into Unbound local-data.

Language:PerlStargazers:130Issues:0Issues:0

Eve

Better tools for thought

Language:TypeScriptLicense:Apache-2.0Stargazers:7156Issues:0Issues:0

rolling-with-the-punches

A hands-on workshop on failure and technical debt.

Language:RubyStargazers:19Issues:0Issues:0

coreos-kubernetes-cluster-osx

CoreOS-Kubernetes cluster for OS X

Language:ShellLicense:Apache-2.0Stargazers:132Issues:0Issues:0

Topics

Information about the topics for each week of the course - published week by week.

Stargazers:69Issues:0Issues:0

simple-binary-encoding

Simple Binary Encoding (SBE) - High Performance Message Codec

Language:JavaLicense:Apache-2.0Stargazers:3080Issues:0Issues:0

leaf

Open Machine Intelligence Framework for Hackers. (GPU/CPU)

Language:RustLicense:Apache-2.0Stargazers:5557Issues:0Issues:0

tensorflow

An Open Source Machine Learning Framework for Everyone

Language:C++License:Apache-2.0Stargazers:185379Issues:0Issues:0

zuhlke-days-2015-talk

A talk about how to build single page web applications using JavaScript libraries rather than frameworks

Language:JavaScriptLicense:Apache-2.0Stargazers:4Issues:0Issues:0

slate

A window management application (replacement for Divvy/SizeUp/ShiftIt)

Language:Objective-CLicense:GPL-3.0Stargazers:7849Issues:0Issues:0
Language:JavaLicense:Apache-2.0Stargazers:9Issues:0Issues:0