-
Snyk
- Amsterdam
- https://ekotelnikov.com
- @aztek
-
-
-
-
awesome-self-reference Public
A curated list of examples of self-reference in art, science, and technology
-
turing-complete-iceberg Public
The "X is Turing-complete" Iceberg
-
corda-gradle-plugins Public
Forked from corda/corda-gradle-pluginsGradle plugins used by Corda and Cordapps
Kotlin Other UpdatedJul 16, 2024 -
kotlin Public
Forked from JetBrains/kotlinThe Kotlin Programming Language.
Kotlin UpdatedJul 16, 2024 -
gradle Public
Forked from gradle/gradleAdaptable, fast automation for all
Groovy Apache License 2.0 UpdatedJul 16, 2024 -
-
android Public
Forked from JetBrains/androidAndroid 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.
Kotlin Apache License 2.0 UpdatedJul 16, 2024 -
avito-android Public
Forked from avito-tech/avito-androidInfrastructure of Avito android
Kotlin MIT License UpdatedJun 28, 2024 -
nodejs-goof Public
Forked from snyk-labs/nodejs-goofSuper vulnerable todo list application
JavaScript Apache License 2.0 UpdatedJun 5, 2024 -
mastodon-android Public
Forked from mastodon/mastodon-androidOfficial Android app for Mastodon
Java GNU General Public License v3.0 UpdatedJun 5, 2024 -
-
-
android-examples Public
Forked from nisrulz/android-examples[Examples] Simple basic isolated apps, for budding android devs.
Java Apache License 2.0 UpdatedOct 12, 2023 -
architecture-components-samples Public
Forked from android/architecture-components-samplesSamples for Android Architecture Components.
Kotlin Apache License 2.0 UpdatedSep 20, 2023 -
elasticsearch Public
Forked from elastic/elasticsearchFree and Open, Distributed, RESTful Search Engine
Java Other UpdatedMay 15, 2023 -
porterstemmer Public
An implementation of the Porter stemming algorithm in Scala
-
intellij-kotlin Public
Forked from JetBrains/intellij-kotlinIntelliJ IDEA plugin for the Kotlin programming language
Kotlin UpdatedMay 16, 2022 -
-
atp Public
Haskell interface to automated theorem provers
-
6nimmt Public
An Ada 2012 text terminal implementation of the board game 6 Nimmt!.
Ada UpdatedJan 26, 2022 -
tptp Public
Parser and pretty printer for the TPTP language
-
-
platform_frameworks_support Public
Forked from aosp-mirror/platform_frameworks_supportJava Apache License 2.0 UpdatedOct 17, 2021 -
native-samples Public
Forked from gradle/native-samplesSamples of modern build automation for native languages with Gradle
Java Apache License 2.0 UpdatedSep 20, 2021 -
awesome-naming Public
Forked from gruhn/awesome-namingA curated list for when naming things is done right.
Creative Commons Zero v1.0 Universal UpdatedMay 5, 2021 -
atomizer Public
⚛︎ Find misplaced atoms in Erlang code
-
phd-thesis Public
Automated Theorem Proving with Extensions of First-Order Logic
TeX UpdatedJun 15, 2020