aztek Goto Github PK

6nimmt

An Ada 2012 text terminal implementation of the board game 6 Nimmt!.

advent-of-code-2021

agda-sets

Constructive proofs for elementary set theory

agda-stdlib

The Agda standard library

android

Android Plugin for IntelliJ IDEA. This repository is a subset of https://git.jetbrains.org/?p=idea/android.git cut according to GitHub file size limitations.

android-examples

:shipit: [Examples] Simple basic isolated apps, for budding android devs.

architecture-components-samples

Samples for Android Architecture Components.

atomizer

⚛︎ Find misplaced atoms in Erlang code

atp

Haskell interface to automated theorem provers

avito-android

Infrastructure of Avito android

awesome-naming

A curated list for when naming things is done right.

awesome-self-reference

A curated list of examples of self-reference in art, science, and technology

awesome-shell

A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.

awesome-static-analysis

Static analysis tools for all programming languages

aztek.github.io

https://ekotelnikov.com

bk-ci

蓝鲸持续集成平台(蓝盾)

corda-gradle-plugins

Gradle plugins used by Corda and Cordapps

craig-lyndon

A half-baked constructive proof of Craig-Lyndon interpolation theorem for propositional logic

db.js

Lightweight document-oriented database in your browser

dotfiles

ecas

Elementary cellular automata simulator

elasticsearch

Free and Open, Distributed, RESTful Search Engine

gradle

Adaptable, fast automation for all

hipspec

The inductive theorem prover for Haskell

intellij-kotlin

IntelliJ IDEA plugin for the Kotlin programming language

java-goof

kotlin

The Kotlin Programming Language.

kyckling

A translator of code fragments with assertions to TPTP problems

liferay-portal

liferay-portal2