ismail-s

JTime

Project has moved to https://www.gitlab.com/ismail-s/jtime

android-oss

Kickstarter for Android. Bring new ideas to life, anywhere.

aoc2020

Advent of Code solutions for 2020 https://adventofcode.com/2020

aoc2021

My Advent of Code 2021 solutions

aoc2022

Advent of Code solutions 2022

aoc2023

Advent of Code solutions for 2023 problems

circleci-docs

Documentation for CircleCI.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

cpython

The Python programming language

docs

API Documentation for Handsontable

fireblog

A basic blog (in Python)

gatling

Modern Load Testing as Code

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.

hfsnotify

Unified Haskell interface for basic file system notifications

jackson-databind

General data-binding package for Jackson (2.x): works on streaming API (core) implementation(s)

karate

Test Automation Made Simple

keter

Web app deployment manager

KISS

Lightning fast Android launcher

magicbane

A web framework that integrates Servant, ClassyPrelude, EKG, fast-logger, wai-cli…

Matasano-Crypto-Solutions

My attempt at tackling http://cryptopals.com

peps

Python Enhancement Proposals

persistent

Persistence interface for Haskell allowing multiple storage methods.

pytest

The pytest framework makes it easy to write small tests, yet scales to support complex functional testing

quran_android

a quran reading application for android

raml-tester

Test if a request/response matches a given raml definition

servant

Main repository for the servant libraries. Web API combinators, with servers, clients and documentation

servant-pandoc

Render a servant API to Pandoc's native representation

temporary-file-dump

typeshed

Collection of library stubs for Python, with static types

vue-router

The official router for Vue.js.